Result 1 to 20 of 221 total
Dynamically-driven timed automaton abstractions for proving liveness of continuous systems. (English)
Jurdziński, Marcin (ed.) et al., Formal modeling and analysis of timed systems. 10th international conference, FORMATS 2012, London, UK, September 18-20, 2012. Proceedings. Berlin: Springer (ISBN 978-3-642-33364-4/pbk). Lecture Notes in Computer Science 7595, 59-74 (2012).
1
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).
2
Lipreading procedure for liveness verification in video authentication systems. (English)
Corchado, Emilio (ed.) et al., Hybrid artificial intelligent systems. 7th international conference, HAIS 2012, Salamanca, Spain, March 28‒30, 2012. Proceedings, Part I. Berlin: Springer (ISBN 978-3-642-28941-5/pbk). Lecture Notes in Computer Science 7208. Lecture Notes in Artificial Intelligence, 115-124 (2012).
3
Fooling a liveness-detecting capacitive fingerprint scanner. (English)
Naccache, David (ed.), Cryptography and security: From theory to applications. Essays dedicated to Jean-Jacques Quisquater on the occasion of his 65th birthday. Berlin: Springer (ISBN 978-3-642-28367-3/pbk). Lecture Notes in Computer Science 6805, 484-490 (2012).
4
A liveness condition for concurrent objects: $x$-wait-freedom. (English)
Concurrency Comput. Pract. Exp. 23, No. 17, 2154-2166 (2011).
5
On the refinement of liveness properties of distributed systems. (English)
Form. Methods Syst. Des. 39, No. 1, 1-46 (2011).
6
Reasoning about liveness properties in Event-B. (English)
Qin, Shengchao (ed.) et al., Formal methods and software engineering. 13th international conference on formal engineering methods, ICFEM 2011, Durham, UK, October 26‒28, 2011. Proceedings. Berlin: Springer (ISBN 978-3-642-24558-9/pbk). Lecture Notes in Computer Science 6991, 456-471 (2011).
7
Looking for efficient implementations of concurrent objects. (English)
Malyshkin, Victor (ed.), Parallel computing technologies. 11th international conference, PaCT 2011, Kazan, Russia, September 19-23, 2011. Proceedings. Berlin: Springer (ISBN 978-3-642-23177-3/pbk). Lecture Notes in Computer Science 6873, 74-87 (2011).
8
TIR/VIS correlation for liveness detection in face recognition. (English)
Real, Pedro (ed.) et al., Computer analysis of images and patterns. 14th international conference, CAIP 2011, Seville, Spain, August 29‒31, 2011. Proceedings, Part II. Berlin: Springer (ISBN 978-3-642-23677-8/pbk). Lecture Notes in Computer Science 6855, 114-121 (2011).
9
A survey on some recent advances in shared memory models. (English)
Kosowski, Adrian (ed.) et al., Structural information and communication complexity. 18th international colloquium, SIROCCO 2011, Gdańsk, Poland, June 26‒29, 2011. Proceedings. Berlin: Springer (ISBN 978-3-642-22211-5/pbk). Lecture Notes in Computer Science 6796, 17-28 (2011).
10
Challenges in verifying communication fabrics. (English)
van Eekelen, Marko (ed.) et al., Interactive theorem proving. Second international conference, ITP 2011, Berg en Dal, The Netherlands, August 22‒25, 2011. Proceedings. Berlin: Springer (ISBN 978-3-642-22862-9/pbk). Lecture Notes in Computer Science 6898, 18-21 (2011).
11
Fingerprint liveness detection based on multiple image quality features. (English)
Chung, Yongwha (ed.) et al., Information security applications. 11th international workshop, WISA 2010, Jeju Island, Korea, August 24‒26, 2010. Revised selected papers. Berlin: Springer (ISBN 978-3-642-17954-9/pbk). Lecture Notes in Computer Science 6513, 281-291 (2011).
12
A formal approach for the development of reactive systems. (English)
Inf. Softw. Technol. 53, No. 1, 14-33 (2011).
13
Verifying deadlock-freedom of communication fabrics. (English)
Jhala, Ranjit (ed.) et al., Verification, model checking, and abstract interpretation. 12th international conference, VMCAI 2011, Austin, TX, USA, January 23‒25, 2011. Proceedings. Berlin: Springer (ISBN 978-3-642-18274-7/pbk). Lecture Notes in Computer Science 6538, 214-231 (2011).
14
Linear time analysis of properties of conflict-free and general Petri nets. (English)
Theor. Comput. Sci. 412, No. 4-5, 320-338 (2011).
15
Curvelet-based fingerprint anti-spoofing. (English)
Signal Image Video Process. 4, No. 1, 75-87 (2010).
16
The modeling of flow of IT equipment to a unit of services IT by coloured Petri net. (English)
Kallel, Ali (ed.) et al., Mathematical methods, computational techniques, intelligent systems. 12th WSEAS international conference (MAMECTIS ’10), Kantaoui, Sousse, Tunia, May 3‒6, 2010. Athens: World Scientific and Engineering Academy and Society (WSEAS) (ISBN 978-960-474-191-5/CD-ROM; 978-960-474-188-5/hbk). Electrical and Computer Engineering Series. A Series of Reference Books and Textbooks, 172-175 (2010).
17
Research on a novel multi-agents dynamic cooperation method based on associated intent. (English)
Wang, Fu Lee (ed.) et al., Artificial intelligence and computational intelligence. International conference, AICI 2010, Sanya, China, October 23‒24, 2010. Proceedings, Part I. Berlin: Springer (ISBN 978-3-642-16529-0/pbk). Lecture Notes in Computer Science 6319. Lecture Notes in Artificial Intelligence, 145-152 (2010).
18
Responsive choice in mobile processes. (English)
Wirsing, Martin (ed.) et al., Trustworthly global computing. 5th international symposium, TGC 2010, Munich, Germany, February 24‒26, 2010. Revised selected papers. Berlin: Springer (ISBN 978-3-642-15639-7/pbk). Lecture Notes in Computer Science 6084, 135-152 (2010).
19
The $x$-wait-freedom progress condition. (English)
D’Ambra, Pasqua (ed.) et al., Euro-Par 2010 ‒ parallel processing. 16th international Euro-Par conference, Ischia, Italia, August 31 ‒ September 3, 2010. Proceedings, Part I. Berlin: Springer (ISBN 978-3-642-15276-4/pbk). Lecture Notes in Computer Science 6271, 584-595 (2010).
20
Result 1 to 20 of 221 total
Start
Contact
Print
General Help
