History


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

Result 61 to 80 of 687 total

Developing autonomic properties for distributed pattern-recognition systems with ASSL. A distributed MARF case study. (English)
Gavrilova, Marina L. (ed.) et al., Transactions on Computational Science XV. Special issue on advances in autonomic computing: formal engineering methods for nature-inspired computing systems. Berlin: Springer (ISBN 978-3-642-28524-0/pbk). Lecture Notes in Computer Science 7050. Journal Subline, 130-157 (2012).
WorldCat.org
61
Formal methods for modeling, refining and verifying autonomic components of computer networks. (English)
Gavrilova, Marina L. (ed.) et al., Transactions on Computational Science XV. Special issue on advances in autonomic computing: formal engineering methods for nature-inspired computing systems. Berlin: Springer (ISBN 978-3-642-28524-0/pbk). Lecture Notes in Computer Science 7050. Journal Subline, 1-48 (2012).
WorldCat.org
62
A calculus for orchestration of web services. (English)
J. Appl. Log. 10, No. 1, 2-31 (2012).
WorldCat.org
63
A systematic approach to integrate common timed security rules within a TEFSM-based system specification. (English)
Inf. Softw. Technol. 54, No. 1, 87-98 (2012).
WorldCat.org
64
Analysis of a clock synchronization protocol for wireless sensor networks. (English)
Theor. Comput. Sci. 413, No. 1, 87-105 (2012).
WorldCat.org
65
Property transformation under specification change. (English)
Front. Comput. Sci. China 5, No. 1, 1-13 (2011).
WorldCat.org
66
Extending $H_1$-clauses with disequalities. (English)
Inf. Process. Lett. 111, No. 20, 1007-1013 (2011).
WorldCat.org
67
Some results on parametric temporal logic. (English)
Inf. Process. Lett. 111, No. 20, 994-998 (2011).
WorldCat.org
68
Introducing concurrency in sequential Java via laws. (English)
Inf. Process. Lett. 111, No. 3, 129-134 (2011).
WorldCat.org
69
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
70
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
71
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
72
{\sc NeVer}: a tool for artificial neural networks verification. (English)
Ann. Math. Artif. Intell. 62, No. 3-4, 403-425 (2011).
WorldCat.org
73
Automating the security analysis process of secure ad hoc routing protocols. (English)
Simul. Model. Pract. Theory 19, No. 9, 2032-2049 (2011).
WorldCat.org
74
Causal behavioural profiles ‒ efficient computation, applications, and evaluation. (English)
Fundam. Inform. 113, No. 3-4, 399-435 (2011).
WorldCat.org
75
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
76
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
77
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
78
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
79
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
80

Result 61 to 80 of 687 total

Valid XHTML 1.0 Transitional Valid CSS!