Result 1 to 20 from 171 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
Process completing sequences for resource allocation systems with synchronization. (English)
J. Control Sci. Eng. 2012, Article ID 424051, 14 p. (2012).
2
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).
3
Multi-manufacturers-to-multi-supppliers order allocation model based on production load equilibrium. (Chinese)
J. Comput. Appl. 31, No. 10, 2837-2840 (2011).
4
Research on impedance characteristics of voltage regulator module in high-performance computer. (Chinese)
J. Comput. Appl. 31, No. 11, 3116-3119 (2011).
5
Dynamic rank correlation computing for financial risk analysis. (English)
Xiong, Hui (ed.) et al., Knowledge science, engineering and management. 5th international conference, KSEM 2011, Irvine, CA, USA, December 12‒14, 2011. Proceedings. Berlin: Springer (ISBN 978-3-642-25974-6/pbk). Lecture Notes in Computer Science 7091. Lecture Notes in Artificial Intelligence, 269-280 (2011).
6
Analysis of the applied pattern of distributed computing used in simulation. (English)
Rau, P. L. Patrick (ed.), Internationalization, design and global development. 4th international conference, IDGD 2011, held as Part of HCI international 2011, Orlando, FL, USA, July 9‒14, 2011. Proceedings. Berlin: Springer (ISBN 978-3-642-21659-6/pbk). Lecture Notes in Computer Science 6775, 152-158 (2011).
7
The influence of social experience in online games. (English)
Jacko, Julie A. (ed.), Human-computer interaction. Users and applications. 14th international conference, HCI international 2011, Orlando, FL, USA, July 9‒14, 2011. Proceedings, Part IV. Berlin: Springer (ISBN 978-3-642-21618-3/pbk). Lecture Notes in Computer Science 6764, 688-693 (2011).
8
Vertex partitions of non-complete graphs into connected monochromatic $k$-regular graphs. (English)
Discrete Math. 311, No. 18-19, 2079-2084 (2011).
9
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).
10
Classical cryptographic protocols in a quantum world. (English)
Rogaway, Phillip (ed.), Advances in cryptology ‒ CRYPTO 2011. 31st annual cryptology conference, Santa Barbara, CA, USA, August 14‒18, 2011. Proceedings. Berlin: Springer (ISBN 978-3-642-22791-2/pbk). Lecture Notes in Computer Science 6841, 411-428 (2011).
11
An iterative approach to text segmentation. (English)
Clough, Paul (ed.) et al., Advances in information retrieval. 33rd European conference on IR research, ECIR 2011, Dublin, Ireland, April 18‒21, 2011. Proceedings. Berlin: Springer (ISBN 978-3-642-20160-8/pbk). Lecture Notes in Computer Science 6611, 629-640 (2011).
12
Network based transcription factor analysis of regenerating axolotl limbs. (English)
BMC Bioinform. 12, 80 (2011).
13
Resource failure and blockage control for production systems (English)
Int. J. Computer Integrated Manufacturing 24, No. 3, 229-241 (2011).
14
An innovative ultrasonic time-of-flight measurement method using peak time sequences of different frequencies: part I (English)
IEEE T. Instrumentation and Measurement 60, No. 3, 735-744 (2011).
15
Efficient CTL model-checking for pushdown systems (English)
CONCUR, 434-449 (2011).
16
An architecture for interoperability of enterprise information systems based on SOA and semantic web technologies (English)
ICEIS (4), 431-437 (2011).
17
Probabilistic document modeling for syntax removal in text summarization (English)
ACL (Short Papers), 642-647 (2011).
18
A controlled seismic emulator: regenerating earthquakes via a robot (English)
ICAIC (1), 541-549 (2011).
19
Mobility management research of internet based on the splitting mechanism (English)
IMIS, 481-486 (2011).
20
Result 1 to 20 from 171 total
Start
Contact
Print
General Help
