Formal Methods for Mobile Computing, 5th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM-Moby 2005, Bertinoro, Italy, April 26-30, 2005, Advanced Lectures - researchr publication

researchr

You are not signed in
Sign in
Sign up

Marco Bernardo, Alessandro Bogliolo, editors, Formal Methods for Mobile Computing, 5th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM-Moby 2005, Bertinoro, Italy, April 26-30, 2005, Advanced Lectures. Volume 3465 of Lecture Notes in Computer Science, Springer, 2005.

Conference: sfm2005

Abstract is missing.

History-Dependent Automata: An IntroductionUgo Montanari, Marco Pistore. 1-28 [doi]

Mobile Distributed Programming in X-KlaimLorenzo Bettini, Rocco De Nicola. 29-68 [doi]

Dealing with Node Mobility in Ad Hoc Wireless NetworkMario Gerla, Ling-Jyh Chen, Yeng-Zhong Lee, Biao Zhou, Jiwei Chen, Guang Yang, Shirshanka Das. 69-106 [doi]

Performance Analysis of Mobile SystemsVincenzo Grassi. 107-154 [doi]

A Methodology Based on Formal Methods for Predicting the Impact of Dynamic Power ManagementAndrea Acquaviva, Alessandro Aldini, Marco Bernardo, Alessandro Bogliolo, Edoardo Bontà, Emanuele Lattanzi. 155-189 [doi]

Dynamic Power Management Strategies Within the IEEE 802.11 StandardAndrea Acquaviva, Edoardo Bontà, Emanuele Lattanzi. 190-214 [doi]

Network SwappingEmanuele Lattanzi, Andrea Acquaviva, Alessandro Bogliolo. 215-233 [doi]

Hermes: Agent-Based Middleware for Mobile ComputingFlavio Corradini, Emanuela Merelli. 234-270 [doi]

runs on WebDSL