Leveraging Applications of Formal Methods, Verification and Validation: Verification Principles : 9th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2020, Rhodes, Greece, October 20–30, 2020, Proceedings, Part I
The three-volume set LNCS 12476 - 12478 constitutes the refereed proceedings of the 9th International Symposium on Leveraging ...
اقرأ المزيد
Logic for Programming, Artificial Intelligence, and Reasoning (vol. # 3835)
Constitutes the refereed proceedings of the 12th International Conference on Logic for Programming, Artificial Intelligence, ...
اقرأ المزيد
Logical Foundations of Computer Science
This book constitutes the refereed proceedings of the International Symposium on Logical Foundations of Computer Science, ...
اقرأ المزيد
Managing Large-Scale Service Deployment : 19th IFIP/IEEE International Workshop on Distributed Systems: Operations and Management, DSOM 2008, Samos Island, Greece, September 22-26, 2008. Proceedings
This volume of the Lecture Notes in Computer Science series contains all papers accepted for presentation at the 19th IFIP/IEEE ...
اقرأ المزيد
Managing Virtualization of Networks and Services
This volume of the Lecture Notes in Computer Science series contains all papers th accepted for presentation at the 18 IFIP/IEEE ...
اقرأ المزيد
Massively Multi-Agent Technology : AAMAS Workshops, MMAS 2006, LSMAS 2006, and CCMMS 2007 Hakodate, Japan, May 9, 2006 Honolulu, HI, USA, May 15, 2007 Selected and Revised Papers
This book constitutes the thoroughly refereed post-workshop proceedings of the joint AAMAS 2006 International Workshops on ...
اقرأ المزيد
Mathematical Modeling, Simulation, Visualization and e-Learning
This book is a collection of articles written by some of the most prominent leading applied mathematicians, as well as articles ...
اقرأ المزيد
Measurement, Control, and Communication Using IEEE 1588
IEEE 1588, published in November 2002, is a technology new to the engineering community expanding the performance capabilities ...
اقرأ المزيد
Middleware 2005
Today, middleware is a key part of almost any application. Gone are the days when middleware was only used in the IT industry ...
اقرأ المزيد
Middleware 2006
This book constitutes the refereed proceedings of the ACM/IFIP/USENIX 7th International Middleware Conference 2006, held ...
اقرأ المزيد
Middleware 2007
This book constitutes the refereed proceedings of the ACM/IFIP/USENIX 8th International Middleware Conference 2007, held ...
اقرأ المزيد
Middleware 2008 : ACM/IFIP/USENIX 9th International Middleware Conference Leuven, Belgium, December 1-5, 2008 Proceedings
This book constitutes the refereed proceedings of the ACM/IFIP/USENIX 9th International Middleware Conference 2008, held ...
اقرأ المزيد
Mobility Aware Technologies and Applications
The beginning of the twenty-first century is characterized by global markets, and the mobility of people is becoming an important ...
اقرأ المزيد
Model Driven Architecture - Foundations and Applications
Constitutes the refereed proceedings of the First European Conference, Workshops on Model Driven Architecture - Foundations ...
اقرأ المزيد
Model Driven Architecture - Foundations and Applications : 4th European Conference, ECMDA-FA 2008, Berlin, Germany, June 9-13, 2008. Proceedings
The 31 revised full papers presented - 21 research papers and 10 industry papers - were carefully reviewed and selected from ...
اقرأ المزيد
Model Driven Architecture- Foundations and Applications
This book constitutes the refereed proceedings of the Third European Conference on Model Driven Architecture: Foundations ...
اقرأ المزيد
Model-Driven Architecture - Foundations and Applications
The goal of the European Conference on Model-Driven Architecture — Foundations and Applications (ECMDA-FA) is to bring ...
اقرأ المزيد
Modelling Autonomic Communications Environments : Third IEEE International Workshop, MACE 2008, Samos Island, Greece, September 22-26, 2008. Proceedings
Research and development of autonomics have come a long way, and we are delighted to present the proceedings of the 3rd IEEE ...
اقرأ المزيد
Modelling Distributed Systems
Process algebras are languages for the description of elementary parallel systems and are used to study the behavioural properties ...
اقرأ المزيد
Modular Programming Languages
On behalf of the Steering Committee we are pleased to present the proceedings of the 2006 Joint Modular Languages Conference ...
اقرأ المزيد
