Formal Techniques for Networked and Distributed Systems – FORTE 2007
These proceedings contain papers from the 27th FORTE conference. FORTE (Formal Techniques for Networked and Distributed Systems) ...
Continue reading
From Model-Driven Design to Resource Management for Distributed Embedded Systems
From Model-Driven Design to Resource Management for Distributed Embedded Systems contains 16 original contributions as well ...
Continue reading
From P2P to Web Services and Grids
Provides an overview of peer-to-peer (P2P) technologies that have revolutionized the way we think about distributed computing ...
Continue reading
Frontiers of Combining Systems
Constitutes the refereed proceedings of the 5th International Workshop on Frontiers of Combining Systems, FroCoS 2005, held ...
Continue reading
Frontiers of High Performance Computing and Networking ISPA 2007 Workshops
This book constitutes the refereed joint proceedings of seven international workshops held in conjunction with the 5th International ...
Continue reading
Fundamental Approaches to Software Engineering
This book constitutes the refereed proceedings of the 10th International Conference on Fundamental Approaches to Software ...
Continue reading
Fundamentals of Computation Theory
This book constitutes the refereed proceedings of the 16th International Symposium Fundamentals of Computation Theory. The ...
Continue reading
Fundamentals of Computation Theory
This book constitutes the refereed proceedings of the 15th International Symposium Fundamentals of Computation Theory, FCT ...
Continue reading
Global Computing
This book constitutes the thoroughly refereed post-proceedings of the IST/FET International Workshop on Global Computing, ...
Continue reading
Graph Transformations
ICGT 2006 was the 3rd International Conference on Graph Transformation, following the previous two in Barcelona (2002) and ...
Continue reading
Grid Computing
Grid computing has become a topic of significant interest in the scientific community as a means of enabling application ...
Continue reading
Grid Computing: Software Environments and Tools
The book provides: • Discussion of software engineering and modelling tools for the Grid • Analysis of issues inherent ...
Continue reading
Grid Economics and Business Models
In the third contribution, Altmann and colleagues formulate a taxonomical - proach to Grid business models. They survey the ...
Continue reading
Grid and Cooperative Computing - GCC 2005
This volume presents the accepted papers for the 4th International Conference on Grid and Cooperative Computing (GCC2005),held ...
Continue reading
Hardware and Software, Verification and Testing
The First Haifa Verification Conference was held at the IBM Haifa Research Lab and at the Haifa University in Israel from ...
Continue reading
High Performance Computing
The objective of this symposium is to exchange the latest research results in software, architecture, and applications in ...
Continue reading
High Performance Computing - HiPC 2004
Keynote Addresses.- Rethinking Computer Architecture Research.- Event Servers for Crisis Management.- DIET: Building Problem ...
Continue reading
High Performance Computing and Communications
The 75 revised full papers address all current issues of parallel and distributed systems and high performance computing ...
Continue reading
High Performance Computing and Communications (vol. # 3726)
Constitutes the refereed proceedings of the First International Conference on High-Performance Computing and Communications, ...
Continue reading
High Performance Computing and Communications (vol. # 4208)
HPCC has moved into the mainstream of c- puting and has become a key technology in future research and development activities ...
Continue reading
