Model Checking Software (vol. # 3925)
he name “SPIN” refers both to a workshopon model checking and to a famous model checking tool. The SPIN workshop is an ...
اقرأ المزيد
Model Driven Engineering Languages and Systems
This book constitutes the refereed proceedings of the 10th International Conference on Model Driven Engineering Languages ...
اقرأ المزيد
Model Driven Engineering Languages and Systems (vol. # 3713)
Constitutes the proceedings of the 8th International Conference on Model Driven Engineering Languages and Systems, MoDELS ...
اقرأ المزيد
Model Driven Engineering Languages and Systems : 11th International Conference, MoDELS 2008, Toulouse, France, September 28 - October 3, 2008. Proceedings
The book also contains three keynote speeches and contributions to workshops, symposia, tutorials and panels at the conference. ...
اقرأ المزيد
Model-Based Testing of Reactive Systems
This book is based on a seminar held in Dagstuhl Castle, Germany, in January 2004. It presents 19 carefully reviewed and ...
اقرأ المزيد
Models in Software Engineering
This book constitutes the thoroughly refereed post-proceedings of 11 international workshops held as satellite events of ...
اقرأ المزيد
Modern Formal Methods and Applications
Formal methods are a robust approach for problem solving. It is based on logic and algebraic methods where problems can be ...
اقرأ المزيد
Multi-Agent Systems and Applications IV
The aim of the CEEMAS conference series is to provide a biennial forum for the presentation of multi-agent research and development ...
اقرأ المزيد
Multiagent System Technologies
The papers are organized in topical sections on engineering multi-agent systems, multi-agent planning and learning, multi-agent ...
اقرأ المزيد
Multiagent System Technologies (vol. # 3550)
After two successful MATES conferences in Erfurt 2003 and 2004, the 3rd G- man conference on Multi-agent System Technologies ...
اقرأ المزيدNext Generation Design and Verification Methodologies for Distributed Embedded Control Systems
This volume is the proceedings of the workshop “Next Generation Design and Verification Methodologies for Distributed Embedded ...
اقرأ المزيد
Parallel and Distributed Computing: Applications and Technologies
The 2004 International Conference on Parallel and Distributed Computing, - plications and Technologies (PDCAT 2004) was the ...
اقرأ المزيد
Petri Nets and Other Models of Concurrency - ICATPN 2006
This book constitutes the refereed proceedings of the 27th International Conference on Applications and Theory of Petri Nets ...
اقرأ المزيد
Petri Nets and Other Models of Concurrency - ICATPN 2007
This book constitutes the refereed proceedings of the 28th International Conference on Applications and Theory of Petri Nets ...
اقرأ المزيد
Principles and Practice of Semantic Web Reasoning (vol. # 3703)
Constitutes the refereed proceedings of the Third International Workshop on Principles and Practice of Semantic Web Reasoning, ...
اقرأ المزيد
Principles and Practice of Semantic Web Reasoning (vol. # 4187)
The papers in this volume represent the proceedings of the 4th International Workshop on Principles and Practice of Semantic ...
اقرأ المزيد
Principles of Security and Trust
This book presented in this volume were carefully reviewed and selected from 27 submissions. They deal with theoretical and ...
اقرأ المزيد
Principles of Security and Trust
This volume contains the papers presented at POST 2018, the 7th Conference on Principles of Security and Trust, held April ...
اقرأ المزيد
Programming Languages and Systems (vol. # 4279)
This volume contains the proceedings of the 4th Asian Symposium on Progr- mingLanguagesandSystems(APLAS2006),whichtookplaceinSydney,Japan, ...
اقرأ المزيد
Rapid Integration of Software Engineering Techniques
RISE 2006 constituted an international forum for researchers and practitioners interestedintheadvancementandrapidapplicationofnovel,integrated,orpr-ticalsoftwareengineeringapproaches,beingpartofamethodologicalframework, ...
اقرأ المزيد
