Result 1 to 20 of 11040 total
Mobile authentication. Problems and solutions. (English)
SpringerBriefs in Computer Science. Berlin: Springer (ISBN 978-1-4614-4877-8/pbk; 978-1-4614-4878-5/ebook). xiv, 113~p. EUR~39.95/net; SFR~39.50; \sterling~26.99/pbk (2013).
1
Ontology-driven software engineering: beyond model checking and transformations. (English)
Int. J. Semant. Comput. 6, No. 2, 205-242 (2012).
2
Semat ‒ three year vision. (English)
Program. Comput. Softw. 38, No. 1, 1-12 (2012).
3
Towards architecture-based management of platforms in the cloud. (English)
Front. Comput. Sci. 6, No. 4, 388-397 (2012).
4
The use of mathematics in software quality assurance. (English)
Front. Comput. Sci. 6, No. 1, 3-16 (2012).
5
A quadrotor test bench for six degree of freedom flight. (English)
J. Intell. Robot. Syst. 68, No. 3-4, 323-338 (2012).
6
Kemnad: a knowledge engineering methodology for negotiating agent development. (English)
Comput. Intell. 28, No. 1, 51-105 (2012).
7
CUDA-For-Clusters: a system for efficient execution of CUDA kernels on multi-core clusters. (English)
Kaklamanis, Christos (ed.) et al., Euro-Par 2012 parallel processing. 18th international conference, Euro-Par 2012, Rhodes Island, Greece, August 27‒31, 2012. Proceedings. Berlin: Springer (ISBN 978-3-642-32819-0/pbk). Lecture Notes in Computer Science 7484, 415-426 (2012).
8
Lightweight cryptography for the cloud: exploit the power of bitslice implementation. (English)
Prouff, Emmanuel (ed.) et al., Cryptographic hardware and embedded systems - CHES 2012. 14th international workshop, Leuven, Belgium, September 9‒12, 2012. Proceedings. Berlin: Springer (ISBN 978-3-642-33026-1/pbk). Lecture Notes in Computer Science 7428, 408-425 (2012).
9
NEON crypto. (English)
Prouff, Emmanuel (ed.) et al., Cryptographic hardware and embedded systems - CHES 2012. 14th international workshop, Leuven, Belgium, September 9‒12, 2012. Proceedings. Berlin: Springer (ISBN 978-3-642-33026-1/pbk). Lecture Notes in Computer Science 7428, 320-339 (2012).
10
Parallelizing the SPIN model checker. (English)
Donaldson, Alastair (ed.) et al., Model checking software. 19th international workshop, SPIN 2012, Oxford, UK, July 23‒24, 2012. Proceedings. Berlin: Springer (ISBN 978-3-642-31758-3/pbk). Lecture Notes in Computer Science 7385, 155-171 (2012).
11
Combining the sweep-line method with the use of an external-memory priority queue. (English)
Donaldson, Alastair (ed.) et al., Model checking software. 19th international workshop, SPIN 2012, Oxford, UK, July 23‒24, 2012. Proceedings. Berlin: Springer (ISBN 978-3-642-31758-3/pbk). Lecture Notes in Computer Science 7385, 43-61 (2012).
12
A modular hierarchical reinforcement learning algorithm. (English)
Huang, De-Shuang (ed.) et al., Intelligent computing theories and applications. 8th international conference, ICIC 2012, Huangshan, China, July 25‒29, 2012. Proceedings. Berlin: Springer (ISBN 978-3-642-31575-6/pbk). Lecture Notes in Computer Science 7390. Lecture Notes in Artificial Intelligence, 375-382 (2012).
13
A software quantitative assessment method based on software testing. (English)
Huang, De-Shuang (ed.) et al., Intelligent computing theories and applications. 8th international conference, ICIC 2012, Huangshan, China, July 25‒29, 2012. Proceedings. Berlin: Springer (ISBN 978-3-642-31575-6/pbk). Lecture Notes in Computer Science 7390. Lecture Notes in Artificial Intelligence, 300-307 (2012).
14
Engineering multi-agent systems through statecharts-based JADE agents and tools. (English)
Nguyen, Ngoc Thanh (ed.), Transactions on Computational Collective Intelligence VII. Berlin: Springer (ISBN 978-3-642-32065-1/pbk). Lecture Notes in Computer Science 7270. Journal Subline, 61-81 (2012).
15
Cyberinfrastructure support for engineering virtual organization for cyberdesign. (English)
Wyrzykowski, Roman (ed.) et al., Parallel processing and applied mathematics. 9th international conference, PPAM 2011, Torun, Poland, September 11‒14, 2011. Revised selected papers, Part II. Berlin: Springer (ISBN 978-3-642-31499-5/pbk). Lecture Notes in Computer Science 7204, 161-170 (2012).
16
Can file level characteristics help identify system level fault-proneness? (English)
Eder, Kerstin (ed.) et al., Hardware and software: verification and testing. 7th international Haifa verification conference, HVC 2011, Haifa, Israel, December 6‒8, 2011. Revised selected papers. Berlin: Springer (ISBN 978-3-642-34187-8/pbk). Lecture Notes in Computer Science 7261, 176-189 (2012).
17
Experience report on designing and developing control components using formal methods. (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, 341-355 (2012).
18
A new incomplete preference relations based approach to quality function deployment. (English)
Inf. Sci. 206, 30-41 (2012).
19
{\tt Pyclaw}: accessible, extensible, scalable tools for wave propagation problems. (English)
SIAM J. Sci. Comput. 34, No. 4, C210-C231 (2012).
20
Result 1 to 20 of 11040 total
Start
Contact
Print
General Help
