History


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

Result 61 to 80 of 799 total

Improving the understandability of formal specifications: An experience report. (English)
Salinesi, Camille (ed.) et al., Requirements engineering: foundation for software quality. 20th international working conference, REFSQ 2014, Essen, Germany, April 7‒10, 2014. Proceedings. Berlin: Springer (ISBN 978-3-319-05842-9/pbk). Lecture Notes in Computer Science 8396, 184-199 (2014).
WorldCat.org
61
Towards a formal model for cloud computing. (English)
Lomuscio, Alessio R. (ed.) et al., Service-oriented computing ‒ ICSOC 2013 workshops. CCSA, CSB, PASCEB, SWESE, WESOA, and PhD symposium, Berlin, Germany, December 2‒5, 2013. Revised selected papers. Berlin: Springer (ISBN 978-3-319-06858-9/pbk). Lecture Notes in Computer Science 8377, 381-393 (2014).
WorldCat.org
62
Cryptographic protocols with everyday objects. (English)
Formal Asp. Comput. 26, No. 1, 37-62 (2014).
WorldCat.org
63
A simplified Z semantics for presentation interaction models. (English)
Jones, Cliff (ed.) et al., FM 2014: formal methods. 19th international symposium, Singapore, May 12‒16, 2014. Proceedings. Berlin: Springer (ISBN 978-3-319-06409-3/pbk). Lecture Notes in Computer Science 8442, 148-162 (2014).
WorldCat.org
64
Automated proof for authorization protocols of TPM 2.0 in computational model. (English)
Huang, Xinyi (ed.) et al., Information security practice and experience. 10th international conference, ISPEC 2014, Fuzhou, China, May 5‒8, 2014. Proceedings. Berlin: Springer (ISBN 978-3-319-06319-5/pbk). Lecture Notes in Computer Science 8434, 144-158 (2014).
WorldCat.org
65
Effectiveness for input output conformance simulation ioco\b{s}. (English)
Ábrahám, Erika (ed.) et al., Formal techniques for distributed objects, components, and systems. 34th IFIP WG 6.1 international conference, FORTE 2014, held as Part of the 9th international federated conference on distributed computing techniques, DisCoTec 2014, Berlin, Germany, June 3‒5, 2014. Proceedings. Berlin: Springer (ISBN 978-3-662-43612-7/pbk). Lecture Notes in Computer Science 8461, 100-116 (2014).
WorldCat.org
66
On regions and zones for event-clock automata. (English)
Form. Methods Syst. Des. 45, No. 3, 330-380 (2014).
WorldCat.org
67
Scalable reachability analysis via automated dynamic netlist-based hint generation. (English)
Form. Methods Syst. Des. 45, No. 2, 144-164 (2014).
WorldCat.org
68
Learning register automata: from languages to program structures. (English)
Mach. Learn. 96, No. 1-2, 65-98 (2014).
WorldCat.org
69
Bounding messages for free in security protocols ‒ extension to various security properties. (English)
Inf. Comput. 239, 182-215 (2014).
WorldCat.org
70
Deducibility constraints and blind signatures. (English)
Inf. Comput. 238, 106-127 (2014).
WorldCat.org
71
Are we there yet? 20 years of industrial theorem proving with SPARK. (English)
Klein, Gerwin (ed.) et al., Interactive theorem proving. 5th international conference, ITP 2014, held as part of the Vienna summer of logic, VSL 2014, Vienna, Austria, July 14‒17, 2014. Proceedings. Berlin: Springer (ISBN 978-3-319-08969-0/pbk). Lecture Notes in Computer Science 8558, 17-26 (2014).
WorldCat.org
72
Deciding safety and liveness in TPTL. (English)
Inf. Process. Lett. 114, No. 12, 680-688 (2014).
WorldCat.org
73
Towards the formal reliability analysis of oil and gas pipelines. (English)
Watt, Stephen M. (ed.) et al., Intelligent computer mathematics. International conference, CICM 2014, Coimbra, Portugal, July 7‒11, 2014. Proceedings. Berlin: Springer (ISBN 978-3-319-08433-6/pbk). Lecture Notes in Computer Science 8543. Lecture Notes in Artificial Intelligence, 30-44 (2014).
WorldCat.org
74
Programming and verifying component ensembles. (English)
Bensalem, Saddek (ed.) et al., From programs to systems. The systems perspective in computing. ETAPS workshop, FPS 2014, in honor of Joseph Sifakis, Grenoble, France, April 6, 2014. Proceedings. Berlin: Springer (ISBN 978-3-642-54847-5/pbk). Lecture Notes in Computer Science 8415, 69-83 (2014).
WorldCat.org
75
A formal approach to model emotional agents behaviour in disaster management situations. (English)
Likas, Aristidis (ed.) et al., Artificial intelligence: methods and applications. 8th Hellenic conference on AI, SETN 2014, Ioannina, Greece, May 15‒17, 2014. Proceedings. Berlin: Springer (ISBN 978-3-319-07063-6/pbk). Lecture Notes in Computer Science 8445. Lecture Notes in Artificial Intelligence, 237-250 (2014).
WorldCat.org
76
European collaboration on automated reasoning. (English)
AI Commun. 27, No. 1, 25-35 (2014).
WorldCat.org
77
Dynamic tags for security protocols. (English)
Log. Methods Comput. Sci. 10, No. 2, Paper No. 11, 50 p., electronic only (2014).
WorldCat.org
78
The Rodin platform has turned ten. (English)
Ait Ameur, Yamine (ed.) et al., Abstract state machines, Alloy, B, TLA, VDM, and Z. 4th international conference, ABZ 2014, Toulouse, France, June 2‒6, 2014. Proceedings. Berlin: Springer (ISBN 978-3-662-43651-6/pbk). Lecture Notes in Computer Science 8477, 1-8 (2014).
WorldCat.org
79
Formal description of Alvis language with $α^{0}$ system layer. (English)
Fundam. Inform. 129, No. 1-2, 161-176 (2014).
WorldCat.org
80

Result 61 to 80 of 799 total

Valid XHTML 1.0 Transitional Valid CSS!