The SCEAS System
Navigation Menu

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]
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
System created by [] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002