Achievements in European Research on Grid Systems : CoreGRID Integration Workshop 2006 (Selected Papers)
Achievements in European Research on Grid Systems comprises the edited proceedings of the 2006 CoreGRID Integration Workshop ...
Continue reading
Applications and Theory of Petri Nets : 29th International Conference, PETRI NETS 2008, Xi’an, China, June 23-27, 2008. Proceedings
This book constitutes the refereed proceedings of the 29th International Conference on Applications and Theory of Petri Nets ...
Continue reading
Architecture of Computing Systems - ARCS 2008 : 21st International Conference, Dresden, Germany, February 25-28, 2008. Proceedings
This book constitutes the refereed proceedings of the 21st International Conference on Architecture of Computing Systems, ...
Continue reading
Computer Aided Verification : 20th International Conference, CAV 2008 Princeton, NJ, USA, July 7-14, 2008 Proceedings
This book constitutes the refereed proceedings of the 20th International Conference on Computer Aided Verification, CAV 2008, ...
Continue reading
Coordination Models and Languages : 10th International Conference, COORDINATION 2008, Oslo, Norway, June 4-6, 2008. Proceedings
This book constitutes the refereed proceedings of the 10th International Conference on Coordination Models and Languages, ...
Continue reading
Cyber Security 17th China Annual Conference, CNCERT 2020, Beijing, China, August 12, 2020, Revised Selected Papers
This book constitutes the refereed proceedings of the 16th International Annual Conference on Cyber Security, CNCERT 2020, ...
Continue reading
Do-All Computing in Distributed Systems :Cooperation in the Presence of Adversity
Do-All Computing in Distributed Systems: Cooperation in the Presence of Adversity is the first book that presents an in depth ...
Continue reading
Elementary Logic :For Software Development
This book teaches readers how to better reason about software development, to communicate reasoning, to distinguish between ...
Continue reading
Embedded Computer Systems: Architectures, Modeling, and Simulation :8th International Workshop, SAMOS 2008, Samos, Greece, July 21-24, 2008. Proceedings
This book constitutes the refereed proceedings of the 8th International Workshop on Systems, Architectures, Modeling, and ...
Continue readingFoundations of Software Science and Computation Structures : 25th International Conference, FOSSACS 2022, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022, Munich, Germany, April 2–7, 2022, Proceedings
This book constitutes the proceedings of the 25th International Conference on Foundations of Software Science and Computational ...
Continue reading
Fundamental Approaches to Software Engineering 23rd International Conference, FASE 2020, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020, Dublin, Ireland, April 25–30, 2020, Proceedings
This book constitutes the proceedings of the 23rd International Conference on Fundamental Approaches to Software Engineering, ...
Continue readingFundamental Approaches to Software Engineering : 25th International Conference, FASE 2022, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022, Munich, Germany, April 2–7, 2022, Proceedings
The papers deal with the foundations on which software engineering is built, including topics like software engineering as ...
Continue reading
Grid Computing : Achievements and Prospects : Achievements and Prospects
Grid Computing: Achievements and Prospects, the 9th edited volume of the CoreGRID series, includes selected papers from the ...
Continue reading
Job Scheduling Strategies for Parallel Processing :13th International Workshop, JSSPP 2007, Seattle, WA, USA, June 17, 2007. Revised Papers
This book constitutes the thoroughly refereed post-workshop proceedings of the 13th International Workshop on Job Scheduling ...
Continue reading
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 ...
Continue reading
Networked RFID : Systems, Software and Services
The book begins with a quick introduction to RFID basics and then discusses the various elements of the topic, using applications ...
Continue reading
OpenMP in a New Era of Parallelism : 4th International Workshop, IWOMP 2008 West Lafayette, IN, USA, May 12-14, 2008 Proceedings
OpenMP is a widely accepted, standard application programming interface (API) for high-level shared-memory parallel programming ...
Continue reading
Parallel Problem Solving from Nature - PPSN X: 10th International Conference, Dortmund, Germany, September 13-17, 2008. Proceedings
This book constitutes the refereed proceedings of the 10th International Conference on Parallel Problem Solving from Nature, ...
Continue reading
Recent Advances in Parallel Virtual Machine and Message Passing Interface : 15th European PVM/MPI Users’ Group Meeting, Dublin, Ireland, September 7-10, 2008. Proceedings
This book is organized in topical sections on applications, collective operations, library internals, message passing for ...
Continue reading
Reconfigurable Computing: Architectures, Tools and Applications : 4th International Workshop, ARC 2008, London, UK, March 26-28, 2008. Proceedings
The idea of reconfigurable hardware systems has represented the Holy Grail for computer system designers.It has been recognized ...
Continue reading
