Result 1 to 20 of 223 total
Efficient malware detection using model-checking. (English)
Giannakopoulou, Dimitra (ed.) et al., FM 2012: Formal methods. 18th international symposium, Paris, France, August 27‒31, 2012. Proceedings. Berlin: Springer (ISBN 978-3-642-32758-2/pbk). Lecture Notes in Computer Science 7436, 418-433 (2012).
1
Baxter permutations, maj-balances, and positive braids. (English)
Electron. J. Comb. 19, No. 3, Research Paper P26, 17 p., electronic only (2012).
2
The total bondage number of grid graphs. (English)
Discrete Appl. Math. 160, No. 16-17, 2408-2418 (2012).
3
Clustering spatial data for aggregate query processing in walkthrough: a hypergraph approach. (English)
Pan, Zhigeng (ed.) et al., Transactions on Edutainment VII. Berlin: Springer (ISBN 978-3-642-29049-7/pbk; 978-3-642-29050-3/ebook). Lecture Notes in Computer Science 7145. Journal Subline, 86-98 (2012).
4
Sign-balance identities of Adin-Roichman type on 321-avoiding alternating permutations. (English)
Discrete Math. 312, No. 15, 2228-2237 (2012).
5
On Simsun and double Simsun permutations avoiding a pattern of length three. (English)
Fundam. Inform. 117, No. 1-4, 155-177 (2012).
6
Pushdown model checking for malware detection. (English)
Flanagan, Cormac (ed.) et al., Tools and algorithms for the construction and analysis of systems. 18th international conference, TACAS 2012, held as part of the European joint conferences on theory and practice of software, ETAPS 2012, Tallinn, Estonia, March 24‒April 1, 2012. Proceedings. Berlin: Springer (ISBN 978-3-642-28755-8/pbk). Lecture Notes in Computer Science 7214, 110-125 (2012).
7
On the complexity of the bondage and reinforcement problems. (English)
J. Complexity 28, No. 2, 192-201 (2012).
8
An improved algorithm on minimum distance splitting between the NURBS surfaces. (Chinese)
J. Northeast Norm. Univ., Nat. Sci. Ed. 43, No. 4, 49-53 (2011).
9
Design and evaluation of load balancing algorithms in P2P streaming protocols. (English)
Comput. Netw. 55, No. 18, 4043-4054 (2011).
10
Applications of infrared plethysmograph waveform time-frequency analysis. (English)
Lin, Song (ed.) et al., Advances in computer science, environment, ecoinformatics, and education. International conference, CSEE 2011, Wuhan, China, August 21‒22, 2011. Proceedings, Part IV. Berlin: Springer (ISBN 978-3-642-23338-8/pbk; 978-3-642-23339-5/ebook). Communications in Computer and Information Science 217, 595-601 (2011).
11
Applying HMAC to enhance information security for mobile reader RFID system. (English)
Lin, Song (ed.) et al., Advances in computer science, environment, ecoinformatics, and education. International conference, CSEE 2011, Wuhan, China, August 21‒22, 2011. Proceedings, Part I. Berlin: Springer (ISBN 978-3-642-23320-3/pbk; 978-3-642-23321-0/ebook). Communications in Computer and Information Science 214, 568-573 (2011).
12
Efficient CTL model-checking for pushdown systems. (English)
Katoen, Joost-Pieter (ed.) et al., CONCUR 2011 ‒ concurrency theory. 22nd international conference, CONCUR 2011, Aachen, Germany, September 6‒9, 2011. Proceedings. Berlin: Springer (ISBN 978-3-642-23216-9/pbk). Lecture Notes in Computer Science 6901, 434-449 (2011).
13
Exterior pairs and up step statistics on Dyck paths. (English)
Electron. J. Comb. 18, No. 1, Research Paper P92, 15 p., electronic only (2011).
14
A review on time series data mining (English)
Eng. Appl. of AI 24, No. 1, 164-181 (2011).
15
Random access game in fading channels with capture: equilibria and braess-like paradoxes (English)
IEEE Transactions on Signal Processing 59, No. 3, 1158-1169 (2011).
16
Digital design-for-diagnosis method for error identification of pipelined adcs (English)
J. Electronic Testing 27, No. 6, 697-709 (2011).
17
Efficient CTL model-checking for pushdown systems (English)
CONCUR, 434-449 (2011).
18
Applying HMAC to enhance information security for mobile reader RFID system (English)
CSEE (1), 568-573 (2011).
19
Applications of infrared plethysmograph waveform time-frequency analysis (English)
CSEE (4), 595-601 (2011).
20
Result 1 to 20 of 223 total
Start
Contact
Print
General Help
