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, ...
Lee mas
Architecting Dependable Systems V
As software systems become increasingly ubiquitous, the issues of dependability become more and more crucial. Given that ...
Lee mas
Distributed Event-Based Systems
Event-based architectures inherently decouple system components. Event-based components are not designed to work with specific ...
Lee mas
Logics of Specification Languages
The editors and authors are authorities on these specification languages and their application. Dedicated chapters address: ...
Lee mas
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; ...
Lee mas
Total Books: 1 - 5 /5
