Result 1 to 20 of 1222 total
SeVe: automatic tool for verification of security protocols. (English)
Front. Comput. Sci. 6, No. 1, 57-75 (2012).
1
Probabilistic model checking multi-agent behaviors in dispersion games using counter abstraction. (English)
Rahwan, Iyad (ed.) et al., PRIMA 2012: Principles and practice of multi-agent systems. 15th international conference, Kuching, Sarawak, Malaysia, September 3‒7, 2012. Proceedings. Berlin: Springer (ISBN 978-3-642-32728-5/pbk). Lecture Notes in Computer Science 7455. Lecture Notes in Artificial Intelligence, 16-30 (2012).
2
Improved BDD-based discrete analysis of timed systems. (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, 326-340 (2012).
3
Automatic compositional verification of timed systems. (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, 272-276 (2012).
4
Complexity of the soundness problem of bounded workflow nets. (English)
Haddad, Serge (ed.) et al., Application and theory of Petri nets. 33rd international conference, PETRI NETS 2012, Hamburg, Germany, June 25‒29, 2012. Proceedings. Berlin: Springer (ISBN 978-3-642-31130-7/pbk). Lecture Notes in Computer Science 7347, 92-107 (2012).
5
Undecidability of infinite Post correspondence problem for instances of size 8. (English)
RAIRO, Theor. Inform. Appl. 46, No. 3, 451-457 (2012).
6
A model checker for hierarchical probabilistic real-time systems. (English)
Madhusudan, P. (ed.) et al., Computer aided verification. 24th international conference, CAV 2012, Berkeley, CA, USA, July 7‒13, 2012. Proceedings. Berlin: Springer (ISBN 978-3-642-31423-0/pbk). Lecture Notes in Computer Science 7358, 705-711 (2012).
7
Quantifying the impact of inland transport times on container fleet sizing in liner shipping services with uncertainties. (English)
OR Spectrum 34, No. 1, 155-180 (2012).
8
Special issue: 14th BCS-FACS refinement workshop. Selected papers based on the presentations at the workshop, Eindhoven, The Netherlands, November 2009. (English)
Formal Asp. Comput. 24, No. 1, 160~p. (2012).
9
Improved rate control algorithm of basic unit layer in H.264. (Chinese)
J. Comput. Appl. 31, No. 11, 3001-3003 (2011).
10
Automatic context analysis for image classification and retrieval. (English)
Huang, De-Shuang (ed.) et al., Advanced intelligent computing. 7th international conference, ICIC 2011, Zhengzhou, China, August 11‒14, 2011. Revised selected papers. Berlin: Springer (ISBN 978-3-642-24727-9/pbk). Lecture Notes in Computer Science 6838, 377-382 (2011).
11
Three-dimensional surface reconstruction of human bone using a B-spline based interpolation approach. (English)
Comput.-Aided Des. 43, No. 8, 934-947 (2011).
12
Natural image composition with inhomogeneous boundaries. (English)
Ho, Yo-Sung (ed.), Advances in image and video technology. 5th Pacific rim symposium, PSIVT 2011, Gwangju, South Korea, November 20‒23, 2011. Proceedings, Part II. Berlin: Springer (ISBN 978-3-642-25345-4/pbk). Lecture Notes in Computer Science 7088, 92-103 (2011).
13
Comparing and aggregating partially resolved trees. (English)
Theor. Comput. Sci. 412, No. 48, 6634-6652 (2011).
14
The design and implementation of an integrated optimal fertilization decision support system. (English)
Math. Comput. Modelling 54, No. 3-4, 1167-1174 (2011).
15
Differencing labeled transition systems. (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, 537-552 (2011).
16
Towards a model checker for NesC and wireless sensor networks. (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, 372-387 (2011).
17
PRTS: an approach for model checking probabilistic real-time hierarchical systems. (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, 147-162 (2011).
18
Verification of orchestration systems using compositional partial order reduction. (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, 98-114 (2011).
19
An approach of authentication base on modified digital identity metasystem in service-oriented architecture. (English)
Gong, Zhiguo (ed.) et al., Web information systems and mining. International conference, WISM 2011, Taiyuan, China, September 24‒25, 2011. Proceedings, Part I. Berlin: Springer (ISBN 978-3-642-23970-0/pbk). Lecture Notes in Computer Science 6987, 304-311 (2011).
20
Result 1 to 20 of 1222 total
Start
Contact
Print
General Help
