1
Published 2007
Table of Contents: ... and Verification of the LMAC Protocol for Wireless Sensor Networks -- Finding State Solutions to Temporal Logic...
View full text
Electronic eBook
2
Published 2007
Table of Contents: ... Models -- Discovering Non-linear Ranking Functions by Solving Semi-algebraic Systems -- Mobile Ambients...
View full text
Electronic eBook
3
Published 2005
Table of Contents: ... -- Biological Systems as Reactive Systems -- Mobile Agents Computing: Security Issues and Algorithmic Solutions...
View full text
Electronic eBook
4
Published 2006
Table of Contents: ... Deployable Secure-Mailing-List Solution -- Mathematical Foundations for the Design of a Low-Rate DoS Attack...
View full text
Electronic eBook
5
Published 2007
Table of Contents: ... of Novel Stochastic Methods of Function Recovery -- Automatic Face Analysis System Based on Face...
View full text
Electronic eBook