Sökt på: Böcker av Holger Gies
totalt 17 träffar
Probing the Quantum Vacuum
This book is devoted to an investigation of the vacuum of quantum elec trodynamics (QED), relying on the perturbative effective action approach. If the vacuum is probed with …
Software Engineering for Self-Adaptive Systems III. Assurances
A major challenge for modern software systems is to become more cost-effective, while being versatile, flexible, resilient, energy-efficient, customizable, and configurable when …
Architecting Critical Systems
Architecting critical systems has gained major importance in commercial, governmental, and industrial sectors. Emerging software applications encompass practicalities that are …
Formal Techniques for Distributed Systems
This book constitutes the refereed proceedings of the 14th IFIP WG 6.1 International Conference on Formal Methods for Open Object-Based Distributed Systems, FMOODS 2012, and the …
Probing the Quantum Vacuum
This book is devoted to an investigation of the vacuum of quantum elec trodynamics (QED), relying on the perturbative effective action approach. If the vacuum is probed with …
Software Engineering for Self-Adaptive Systems III. Assurances
A major challenge for modern software systems is to become more cost-effective, while being versatile, flexible, resilient, energy-efficient, customizable, and configurable when …
Models in Software Engineering
This book constitutes the thoroughly refereed post-workshop proceedings of 10 internationl workshops and 2 symposia held as satellite events of the 10th International Conference on …
Formal Techniques for Distributed Systems
This book constitutes the refereed proceedings of the 14th IFIP WG 6.1 International Conference on Formal Methods for Open Object-Based Distributed Systems, FMOODS 2012, and the …
Graph Transformation
This book constitutes the proceedings of the 7th InternationalConference on Graph Transformations, ICGT 2014, held in York, UK, in July 2014.The 17 papers and 1 invited paper …
Model-Based Engineering of Embedded Real-Time Systems
Thetopicof"e;Model-BasedEngineeringofReal-TimeEmbeddedSystems"e;brings together a challenging problem domain (real-time embedded systems) and a - lution domain (model-based …
Probing the Quantum Vacuum
This book is devoted to an investigation of the vacuum of quantum elec trodynamics (QED), relying on the perturbative effective action approach. If the vacuum is probed with …
Software Engineering for Self-Adaptive Systems
Although the self-adaptability of systems has been studied in a wide range of disciplines, from biology to robotics, only recently has the software engineering community recognized …