History


Please fill in your query. A complete syntax description you will find on the General Help page.

Result 61 to 80 of 677 total

Synthesis of logic programs from object-oriented formal specifications. (English)
Gallagher, John P. (ed.) et al., Technical communications of the 27th international conference on logic programming (ICLP 2011), Lexington, Kentucky, USA, July 6‒10, 2011. Wadern: Schloss Dagstuhl ‒ Leibniz Zentrum für Informatik (ISBN 978-3-939897-31-6). LIPICS ‒ Leibniz International Proceedings in Informatics 11, 95-105, electronic only (2011).
WorldCat.org
61
Constructing mid-points for two-party asynchronous protocols. (English)
Fernández Anta, Antonio (ed.) et al., Principles of distributed systems. 15th international conference, OPODIS 2011, Toulouse, France, December 13‒16, 2011. Proceedings. Berlin: Springer (ISBN 978-3-642-25872-5/pbk). Lecture Notes in Computer Science 7109, 481-496 (2011).
WorldCat.org
62
Shared event composition/decomposition in Event-B. (English)
Aichernig, Bernhard K. (ed.) et al., Formal methods for components and objects. 9th international symposium, FMCO 2010, Graz, Austria, November 29‒December 1, 2010. Revised papers. Berlin: Springer (ISBN 978-3-642-25270-9/pbk). Lecture Notes in Computer Science 6957, 122-141 (2011).
WorldCat.org
63
{\sc NeVer}: a tool for artificial neural networks verification. (English)
Ann. Math. Artif. Intell. 62, No. 3-4, 403-425 (2011).
WorldCat.org
64
Automating the security analysis process of secure ad hoc routing protocols. (English)
Simul. Model. Pract. Theory 19, No. 9, 2032-2049 (2011).
WorldCat.org
65
Causal behavioural profiles ‒ efficient computation, applications, and evaluation. (English)
Fundam. Inform. 113, No. 3-4, 399-435 (2011).
WorldCat.org
66
A unifying theory of control dependence and its application to arbitrary program structures. (English)
Theor. Comput. Sci. 412, No. 49, 6809-6842 (2011).
WorldCat.org
67
Active stabilization. (English)
Défago, Xavier (ed.) et al., Stabilization, safety, and security of distributed systems. 13th international symposium, SSS 2011, Grenoble, France, October 10‒12, 2011. Proceedings. Berlin: Springer (ISBN 978-3-642-24549-7/pbk). Lecture Notes in Computer Science 6976, 77-91 (2011).
WorldCat.org
68
F$_{or}$MAAD: towards a model-driven approach for agent-based application design. (English)
Weyns, Danny (ed.) et al., Agent-oriented software engineering XI. 11th international workshop, AOSE 2010, Toronto, Canada, May 10‒11, 2010. Revised selected papers. Berlin: Springer (ISBN 978-3-642-22635-9/pbk). Lecture Notes in Computer Science 6788, 148-164 (2011).
WorldCat.org
69
Supporting model-based design. (English)
Bellatreche, Ladjel (ed.) et al., Model and data engineering. First international conference, MEDI 2011, Óbidos, Portugal, September 28‒30, 2011. Proceedings. Berlin: Springer (ISBN 978-3-642-24442-1/pbk). Lecture Notes in Computer Science 6918, 237-248 (2011).
WorldCat.org
70
Formal methods for the certification of autonomous unmanned aircraft systems. (English)
Flammini, Francesco (ed.) et al., Computer safety, reliability, and security. 30th international conference, SAFECOMP 2011, Naples, Italy, September 19‒22, 2011. Proceedings. Berlin: Springer (ISBN 978-3-642-24269-4/pbk). Lecture Notes in Computer Science 6894, 228-242 (2011).
WorldCat.org
71
Lightweight verification of a multi-task threaded server: a case study with the Plural tool. (English)
Salaün, Gwen (ed.) et al., Formal methods for industrial critical systems. 16th international workshop, FMICS 2011, Trento, Italy, August 29‒30, 2011. Proceedings. Berlin: Springer (ISBN 978-3-642-24430-8/pbk). Lecture Notes in Computer Science 6959, 6-20 (2011).
WorldCat.org
72
Multicore programming in ParaSail. Parallel specification and implementation language. (English)
Romanovsky, Alexander (ed.) et al., Reliable software technologies ‒ Ada-Europe 2011. 16th Ada-Europe international conference on reliable software technologies, Edinburgh, UK, June 20‒24, 2011. Proceedings. Berlin: Springer (ISBN 978-3-642-21337-3/pbk). Lecture Notes in Computer Science 6652, 196-200 (2011).
WorldCat.org
73
Toward validated composition in component-based adaptive middleware. (English)
Apel, Sven (ed.) et al., Software composition. 10th international conference, SC 2011, Zurich, Switzerland, June 30 ‒ July 1, 2011. Proceedings. Berlin: Springer (ISBN 978-3-642-22044-9/pbk). Lecture Notes in Computer Science 6708, 165-180 (2011).
WorldCat.org
74
dCTL: A branching time temporal logic for fault-tolerant system verification. (English)
Barthe, Gilles (ed.) et al., Software engineering and formal methods. 9th international conference, SEFM 2011, Montevideo, Uruguay, November 14‒18, 2011. Proceedings. Berlin: Springer (ISBN 978-3-642-24689-0/pbk). Lecture Notes in Computer Science 7041, 106-121 (2011).
WorldCat.org
75
Developing model-checking mechanisms for ASSL: An experience report. (English)
Barthe, Gilles (ed.) et al., Software engineering and formal methods. 9th international conference, SEFM 2011, Montevideo, Uruguay, November 14‒18, 2011. Proceedings. Berlin: Springer (ISBN 978-3-642-24689-0/pbk). Lecture Notes in Computer Science 7041, 19-34 (2011).
WorldCat.org
76
Deciding knowledge in security protocols under some e-voting theories. (English)
RAIRO, Theor. Inform. Appl. 45, No. 3, 269-299 (2011).
WorldCat.org
77
Software verification of autonomic systems developed with ASSL. (English)
Calinescu, Radu (ed.) et al., Foundations of computer software. Modeling, development, and verification of adaptive systems. 16th Monterey workshop 2010, Redmond, WA, USA, March 31 ‒ April 2, 2010. Revised selected papers. Berlin: Springer (ISBN 978-3-642-21291-8/pbk). Lecture Notes in Computer Science 6662, 1-16 (2011).
WorldCat.org
78
Checking safety of neural networks with SMT solvers: A comparative evaluation. (English)
Pirrone, Roberto (ed.) et al., AI*IA 2011: Artificial intelligence around man and beyond. XIIth international conference of the Italian Association for Artificial Intelligence, Palermo, Italy, September 15‒17, 2011. Proceedings. Berlin: Springer (ISBN 978-3-642-23953-3/pbk). Lecture Notes in Computer Science 6934. Lecture Notes in Artificial Intelligence, 127-138 (2011).
WorldCat.org
79
A knowledge-driven approach to web-based learning for formal algorithm development. (English)
Luo, Xiangfeng (ed.) et al., New horizons in web-based learning ‒ ICWL 2010 workshops. ICWL 2010 workshops: STEG, CICW, WGLBWS, and IWKDEWL, Shanghai, China, December 7‒11, 2010. Revised selected papers. Berlin: Springer (ISBN 978-3-642-20538-5/pbk). Lecture Notes in Computer Science 6537, 237-245 (2011).
WorldCat.org
80

Result 61 to 80 of 677 total

Valid XHTML 1.0 Transitional Valid CSS!