Algorithms for Sensor and Ad Hoc Networks
Thousands of mini computers (comparable to a stick of chewing gum in size), equipped with sensors, are deployed in some terrain ...
Continue reading
Algorithms for Sensor and Ad Hoc Networks
Thousands of mini computers (comparable to a stick of chewing gum in size), equipped with sensors, are deployed in some terrain ...
Continue reading
Formal Methods for Computational Systems Biology : 8th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2008 Bertinoro, Italy, June 2-7, 2008 Advanced Lectures
This volume presents the set of papers accompanying the lectures of the eighth International School on Formal Methods for ...
Continue reading
Formal Methods for Performance Evaluation
This book presents a set of 11 papers accompanying the lectures of leading researchers given at the 7th edition of the International ...
Continue reading
Performance Modeling and Engineering
This book presents the latest advances in methodology and techniques of performance modeling and engineering, ranging from ...
Continue reading
Stochastic Discrete Event Systems : Modeling, Evaluation, Applications
The behavior of many technical systems important in everyday life can be described using discrete states and state-changing ...
Continue reading
Wireless Algorithms, Systems, and Applications
The papers in this volume were presented at the First Annual InternationalConference on Wireless Algorithms, Systems, and ...
Continue reading
