Marco Bernardo, Alessandro Bogliolo
Advanced Lectures of the Fifth International School on Formal Methods for the Design of Computer, Communication and Software Systems: Formal Methods for Mobile Computing
SFM-Moby, 2005.

@proceedings{SFM-2005,
	address       = "Bertinoro, Italy",
	editor        = "Marco Bernardo and Alessandro Bogliolo",
	isbn          = "3-540-25697-0",
	publisher     = "{Springer International Publishing}",
	series        = "{Lecture Notes in Computer Science}",
	title         = "{Advanced Lectures of the Fifth International School on Formal Methods for the Design of Computer, Communication and Software Systems: Formal Methods for Mobile Computing}",
	volume        = 3465,
	year          = 2005,
}

Event page: http://www.sti.uniurb.it/events/sfm05moby/

Contents (8 items)

3 ×#mobile
2 ×#network
2 ×#power management

SFM-2005-MontanariP #automaton

History-Dependent Automata: An Introduction (UM, MP), pp. 1–28.

SFM-2005-BettiniN #distributed #mobile #programming

Mobile Distributed Programming in X-Klaim (LB, RDN), pp. 29–68.

SFM-2005-GerlaCLZCYD #ad hoc #network

Dealing with Node Mobility in Ad Hoc Wireless Network (MG, LJC, YZL, BZ, JC, GY, SD), pp. 69–106.

SFM-2005-Grassi #analysis #mobile #performance

Performance Analysis of Mobile Systems (VG), pp. 107–154.

SFM-2005-AcquavivaABBBL #formal method #impact analysis #power management #predict

A Methodology Based on Formal Methods for Predicting the Impact of Dynamic Power Management (AA, AA, MB, AB, EB, EL), pp. 155–189.

SFM-2005-AcquavivaBL #power management #standard

Dynamic Power Management Strategies Within the IEEE 802.11 Standard (AA, EB, EL), pp. 190–214.

SFM-2005-LattanziAB #network

Network Swapping (EL, AA, AB), pp. 215–233.

SFM-2005-CorradiniM #middleware #mobile #named

Hermes: Agent-Based Middleware for Mobile Computing (FC, EM), pp. 234–270.