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