Conferences in DBLP

School on Formal Methods for the Design of Computer, Communication and Software Systems (sfm)
2005 (conf/sfm/2005)

1. Ugo Montanari, Marco Pistore
   History-Dependent Automata: An Introduction. [Citation Graph (0, 0)][DBLP]
   SFM, 2005, pp:1-28 [Conf]
   
2. Lorenzo Bettini, Rocco De Nicola
   Mobile Distributed Programming in X-Klaim. [Citation Graph (0, 0)][DBLP]
   SFM, 2005, pp:29-68 [Conf]
   
3. Mario Gerla, Ling-Jyh Chen, Yeng-Zhong Lee, Biao Zhou, Jiwei Chen, Guang Yang, Shirshanka Das
   Dealing with Node Mobility in Ad Hoc Wireless Network. [Citation Graph (0, 0)][DBLP]
   SFM, 2005, pp:69-106 [Conf]
   
4. Vincenzo Grassi
   Performance Analysis of Mobile Systems. [Citation Graph (0, 0)][DBLP]
   SFM, 2005, pp:107-154 [Conf]
   
5. Andrea Acquaviva, Alessandro Aldini, Marco Bernardo, Alessandro Bogliolo, Edoardo Bontà, Emanuele Lattanzi
   A Methodology Based on Formal Methods for Predicting the Impact of Dynamic Power Management. [Citation Graph (0, 0)][DBLP]
   SFM, 2005, pp:155-189 [Conf]
   
6. Andrea Acquaviva, Edoardo Bontà, Emanuele Lattanzi
   Dynamic Power Management Strategies Within the IEEE 802.11 Standard. [Citation Graph (0, 0)][DBLP]
   SFM, 2005, pp:190-214 [Conf]
   
7. Emanuele Lattanzi, Andrea Acquaviva, Alessandro Bogliolo
   Network Swapping. [Citation Graph (0, 0)][DBLP]
   SFM, 2005, pp:215-233 [Conf]
   
8. Flavio Corradini, Emanuela Merelli
   Hermes: Agent-Based Middleware for Mobile Computing. [Citation Graph (0, 0)][DBLP]
   SFM, 2005, pp:234-270 [Conf]