default search action

combined dblp search
author search
venue search
publication search

ask others

SFM 2005: Bertinoro, Italy

> Home > Conferences and Workshops > SFM

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

showing all ?? records

- view
  authority control:
- export record
  dblp key:
  - conf/sfm/2005
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sfm/2005
Marco Bernardo, Alessandro Bogliolo:
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. Lecture Notes in Computer Science 3465, Springer 2005, ISBN 3-540-25697-0

Models and Languages

- view
  authority control:
- export record
  dblp key:
  - conf/sfm/MontanariP05
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sfm/MontanariP05
Ugo Montanari, Marco Pistore:
History-Dependent Automata: An Introduction. 1-28
- view
  authority control:
- export record
  dblp key:
  - conf/sfm/BettiniN05
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sfm/BettiniN05
Lorenzo Bettini, Rocco De Nicola:
Mobile Distributed Programming in X-Klaim. 29-68

Scalability and Performance

- view
  authority control:
- export record
  dblp key:
  - conf/sfm/GerlaCLZCYD05
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sfm/GerlaCLZCYD05
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. 69-106
- view
  authority control:
- export record
  dblp key:
  - conf/sfm/Grassi05
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sfm/Grassi05
Vincenzo Grassi:
Performance Analysis of Mobile Systems. 107-154

Dynamic Power Management

- view
  authority control:
- export record
  dblp key:
  - conf/sfm/AcquavivaABBBL05
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sfm/AcquavivaABBBL05
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. 155-189
- view
  authority control:
- export record
  dblp key:
  - conf/sfm/AcquavivaBL05
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sfm/AcquavivaBL05
Andrea Acquaviva, Edoardo Bontà, Emanuele Lattanzi:
Dynamic Power Management Strategies Within the IEEE 802.11 Standard. 190-214

Middleware Support

- view
  authority control:
- export record
  dblp key:
  - conf/sfm/LattanziAB05
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sfm/LattanziAB05
Emanuele Lattanzi, Andrea Acquaviva, Alessandro Bogliolo:
Network Swapping. 215-233
- view
  authority control:
- export record
  dblp key:
  - conf/sfm/CorradiniM05
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sfm/CorradiniM05
Flavio Corradini, Emanuela Merelli:
Hermes: Agent-Based Middleware for Mobile Computing. 234-270

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.