Agents and Peer-to-Peer Computing (vol. # 4118)
This book constitutes the thoroughly refereed post-proceedings of the 4th International Workshop on Agents and Peer-to-Peer ...
اقرأ المزيد
Agents and Peer-to-Peer Computing : 5th International Workshop, AP2PC 2006, Hakodate, Japan, May 9, 2006, Revised and Invited Papers
This book constitutes the thoroughly refereed post-workshop proceedings of the 5th International Workshop on Agents and Peer-to-Peer ...
اقرأ المزيد
Architecting Dependable Systems III
As software systems become ubiquitous, the issues of dependability become more and more crucial. Given that solutions to ...
اقرأ المزيد
Architecting Dependable Systems IV
As software systems become ubiquitous, the issues of dependability become more and more crucial. Given that solutions to ...
اقرأ المزيد
Architecting Dependable Systems IV
As software systems become ubiquitous, the issues of dependability become more and more crucial. Given that solutions to ...
اقرأ المزيد
Categories for Software Engineering
This book provides a gentle, software engineering oriented introduction to category theory. Assuming only a minimum of mathematical ...
اقرأ المزيد
Component-Based Software Development for Embedded Systems
Embedded systems are ubiquitous. They appear in cell phones, microwave ovens, refrigerators, consumer electronics, cars, ...
اقرأ المزيد
Component-Based Software Engineering (vol. # 3489)
this book present the proceedings of the 2005 Symposium on Component-Based Software Engineering (CBSE). CBSE is concerned ...
اقرأ المزيد
Component-Based Software Engineering (vol. # 4063)
CBSE is concerned with the development of software-intensive systems from reusable parts (components), the development of ...
اقرأ المزيد
Component-Based Software Engineering : 11th International Symposium, CBSE 2008, Karlsruhe, Germany, October 14-17, 2008. Proceedings
This book constitutes the refereed proceedings of the 11th International ACM SIGSOFT Symposium on Component-Based Software ...
اقرأ المزيد
Coordination Models and Languages (vol. # 3454)
This book constitutes the refereed proceedings of the 7th International Conference on Coordination Models and Languages, ...
اقرأ المزيد
Dependability Metrics : Advanced Lectures
This tutorial book gives an overview of the current state of the art in measuring the different aspects of dependability ...
اقرأ المزيد
Dependable Systems: Software, Computing, Networks
The present volume documents the results of a research program on Dependable Information and Communication Systems (DICS). ...
اقرأ المزيد
Early Aspects: Current Challenges and Future Directions
Traditionally, aspect-oriented software development (AOSD) has focused on the implementation phase of the software lifecycle: ...
اقرأ المزيد
Early Aspects: Current Challenges and Future Directions
Traditionally, aspect-oriented software development (AOSD) has focused on the implementation phase of the software lifecycle: ...
اقرأ المزيد
Formal Methods for Open Object-Based Distributed Systems
This book constitutes the refereed proceedings of the 9th IFIP WG 6.1 International Conference on Formal Methods for Open ...
اقرأ المزيد
Generative Programming and Component Engineering
Generative Programming and Component Engineering (GPCE) is a leading - searchconferenceonautomaticprogrammingandcomponentengineering.These ...
اقرأ المزيد
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
The goal of the European Conference on Model-Driven Architecture — Foundations and Applications (ECMDA-FA) is to bring ...
اقرأ المزيد
