2243 search results - page 4 / 449 » Contracts for Mobile Processes |
AGENTS
2001
Springer
13 years 12 months ago
2001
Springer
We are interested in multi-agent contracting, in which customers must solicit the resources and capabilities of other, self-interested agents in order to accomplish their goals. G...
IWQOS
2004
Springer
14 years 22 days ago
2004
Springer
Abstract— Resource management for individual flows can significantly improve quality of service (QoS) in mobile cellular networks. However, its efficiency depends on the avail...
MIDDLEWARE
2004
Springer
14 years 22 days ago
2004
Springer
This paper proposes a way to realize the idea of calm computing by adding a dynamic task model into the pervasive computing environment. This task model contains information about...
ISSTA
2009
ACM
14 years 1 months ago
2009
ACM
This paper presents techniques for analyzing channel contract specifications in Microsoft Research’s Singularity operating system. A channel contract is a state machine that sp...
CDC
2009
IEEE
14 years 3 days ago
2009
IEEE
— This work is concerned with the problem of characterizing and computing probabilistic bisimulations of diffusion processes. A probabilistic bisimulation relation between two su...