Total Books: 1 - 5 /5
Abstract State Machines, B and Z : First International Conference, ABZ 2008, London, UK, September 16-18, 2008. Proceedings
This book constitutes the refereed proceedings of the First International Conference of Abstract State Machines, B and Z, ...
Continue reading
Architecting Dependable Systems V
As software systems become increasingly ubiquitous, the issues of dependability become more and more crucial. Given that ...
Continue reading
Distributed Event-Based Systems
Event-based architectures inherently decouple system components. Event-based components are not designed to work with specific ...
Continue reading
Logics of Specification Languages
The editors and authors are authorities on these specification languages and their application. Dedicated chapters address: ...
Continue reading
Smart Homes and Health Telematics : 6th International Conference, ICOST 2008 Ames, IA, USA, June 28-July 2, 2008 Proceedings
The book is organized in topical sections on assistive technology to improve quality of life for older adults and their caregivers; ...
Continue reading
Total Books: 1 - 5 /5
