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) ...
Weiterlesen
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 ...
Weiterlesen
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 ...
Weiterlesen
Frontiers of Combining Systems
Constitutes the refereed proceedings of the 5th International Workshop on Frontiers of Combining Systems, FroCoS 2005, held ...
Weiterlesen
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 ...
Weiterlesen
Fundamental Approaches to Software Engineering
This book constitutes the refereed proceedings of the 10th International Conference on Fundamental Approaches to Software ...
Weiterlesen
Fundamentals of Computation Theory
This book constitutes the refereed proceedings of the 16th International Symposium Fundamentals of Computation Theory. The ...
Weiterlesen
Fundamentals of Computation Theory
This book constitutes the refereed proceedings of the 15th International Symposium Fundamentals of Computation Theory, FCT ...
Weiterlesen
Global Computing
This book constitutes the thoroughly refereed post-proceedings of the IST/FET International Workshop on Global Computing, ...
Weiterlesen
Graph Transformations
ICGT 2006 was the 3rd International Conference on Graph Transformation, following the previous two in Barcelona (2002) and ...
Weiterlesen
Grid Computing
Grid computing has become a topic of significant interest in the scientific community as a means of enabling application ...
Weiterlesen
Grid Computing: Software Environments and Tools
The book provides: • Discussion of software engineering and modelling tools for the Grid • Analysis of issues inherent ...
Weiterlesen
Grid Economics and Business Models
In the third contribution, Altmann and colleagues formulate a taxonomical - proach to Grid business models. They survey the ...
Weiterlesen
Grid and Cooperative Computing - GCC 2005
This volume presents the accepted papers for the 4th International Conference on Grid and Cooperative Computing (GCC2005),held ...
Weiterlesen
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 ...
Weiterlesen
High Performance Computing
The objective of this symposium is to exchange the latest research results in software, architecture, and applications in ...
Weiterlesen
High Performance Computing - HiPC 2004
Keynote Addresses.- Rethinking Computer Architecture Research.- Event Servers for Crisis Management.- DIET: Building Problem ...
Weiterlesen
High Performance Computing and Communications
The 75 revised full papers address all current issues of parallel and distributed systems and high performance computing ...
Weiterlesen
High Performance Computing and Communications (vol. # 3726)
Constitutes the refereed proceedings of the First International Conference on High-Performance Computing and Communications, ...
Weiterlesen
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 ...
Weiterlesen
