The volume brings together eleven chapters to highlight the importance of the interrelated reliability and maintenance disciplines. ...
Lire la suite
An understanding of the techniques used to make distributed computing systems and networks reliable, fault-tolerant and secure ...
Lire la suite
Reliable Software Technologies is an annual series of international conferences devoted to the promotion and advancement ...
Lire la suite
This book constitutes the refereed proceedings of the 7th International Conference on Reliable Software Technologies, Ada-Europe ...
Lire la suite
This book covers topics ranging from formal verification to real-time systems via concurrency, embedded systems, language ...
Lire la suite
This book constitutes the refereed proceedings of the 11th International Conference on Reliable Software Technologies, Ada- ...
Lire la suite
Started on the inspired initiative of Prof. Alfred Strohmeier back in 1996, and spawned from the annual Ada-Europe conference ...
Lire la suite
This book constitutes the refereed post-proceedings of the 12th International Monterey Workshop on Networked Systems with ...
Lire la suite
For many, the experience of religion and the family are organically connected: first exposure to religion often comes through ...
Lire la suiteThis book presents a wide range of innovative and advanced image processing methods for including spatial information, captured ...
Lire la suite
Lessons learned in the last several years have given clear indications that the prediction and efficient monitoring of disasters ...
Lire la suite
This book aims to methodologically improve our understanding of biodiversity by linking disciplines that incorporate remote ...
Lire la suite
The book is structured into five parts. Part I reviews basic optimal control and game theory of finite dimensional systems, ...
Lire la suite
Essentially, this is an update that places more emphasis on modelling by describing a greater range of approaches to system ...
Lire la suite
This book is organized in thematic sections on fitness of RE, requirements elicitation, industrial experience of RE, innovative ...
Lire la suite
Requirements Management has proven itself to be an enormous potential for the optimization of development projects throughout ...
Lire la suite
Proceedings of the NATO Advanced Research Workshop on Rescue of Sturgeon Species by means of Transboundary Integrated Water ...
Lire la suite
Rescuing the Enlightenment from Itself: Critical and Systemic Implications for Democracy presents papers that make the case ...
Lire la suite
This book is organized in topical sections on digital preservation, social tagging, quatations and annotations, user studies ...
Lire la suiteRESEARCH AND DEVELOPMENT IN INTELLIGENT SYSTEMS XXI The papers in this volume present new and innovative developments in ...
Lire la suite