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