Book Details


Formal Methods for Mobile Computing

Publication year: 2005

ISBN: 978-3-540-32021-0

Internet Resource: Please Login to download book

This book presents 8 tutorial survey papers by leading researchers who lectured at the 5th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2005, held in Bertinoro, Italy in April 2005. SFM 2005 was devoted to formal methods and tools for the design of mobile systems and mobile communication infrastructures. The 8 lectures are organized into topical sections on models and languages, scalability and performance, dynamic power management, and middleware support.

Subject: Computer Science, IEEE 80, IEEE 802.11, Middleware, Scala, ad-hoc wireless networking, agent-based middleware, automata, formal methods, mobile computing, mobile distributed programming, performance analysis, power management, software design, software development, systems design