Sciweavers

11 search results - page 3 / 3
» Stochastic Properties and Application of City Section Mobili...
Sort
View
ENTCS
2006
100views more  ENTCS 2006»
13 years 4 months ago
Towards a Logic for Performance and Mobility
Klaim is an experimental language designed for modeling and programming distributed systems composed of mobile components where distribution awareness and dynamic system architect...
Rocco De Nicola, Joost-Pieter Katoen, Diego Latell...