Sciweavers

4892 search results - page 887 / 979
» A Resource Description Environment for Distributed Computing...
Sort
View
LICS
2003
IEEE
15 years 11 months ago
Model checking for probability and time: from theory to practice
Probability features increasingly often in software and hardware systems: it is used in distributed co-ordination and routing problems, to model fault-tolerance and performance, a...
Marta Z. Kwiatkowska
ATAL
2008
Springer
15 years 8 months ago
Achieving efficient and equitable collaboration among selfish agents using spender-signed currency
We study collaboration among selfish agents in the tactical airport planning domain. This can be seen as a social exchange scenario, in which the efforts of performing tasks are t...
Geert Jonker, Frank Dignum, John-Jules Ch. Meyer
GISCIENCE
2008
Springer
186views GIS» more  GISCIENCE 2008»
15 years 7 months ago
Detecting Topological Change Using a Wireless Sensor Network
Dynamic geographic phenomena, such as forest fires and oil spills, can have dire environmental, sociopolitical, and economic consequences. Mitigating, if not preventing such events...
Christopher Farah, Cheng Zhong, Michael F. Worboys...
HASE
2008
IEEE
15 years 7 months ago
HyperMIP: Hypervisor Controlled Mobile IP for Virtual Machine Live Migration across Networks
Live migration provides transparent load-balancing and fault-tolerant mechanism for applications. When a Virtual Machine migrates among hosts residing in two networks, the network...
Qin Li, Jinpeng Huai, Jianxin Li, Tianyu Wo, Minxi...
JOT
2007
99views more  JOT 2007»
15 years 6 months ago
The Parametric Singleton Design Pattern
The parametric singleton design pattern combines the singleton design pattern with a parameter that enables unique creation of instances of a class. These instances are cached in ...
Douglas A. Lyon, Francisco Castellanos