8555 search results - page 192 / 1711 » Property Based Coordination |
137
Voted
COMPSAC
2003
IEEE
15 years 10 months ago
2003
IEEE
This paper explores how to characterise security properties of software components, and how to reason about their suitability for a trustworthy compositional contract. Our framewo...
120
click to vote
TIT
1998
15 years 4 months ago
1998
—Given n discrete random variables = fX1;111; Xng, associated with any subset of f1; 2; 111; ng, there is a joint entropy H(X ) where X = fXi:i 2 g. This can be viewed as a f...
133
click to vote
AIPS
2008
15 years 6 months ago
2008
We address the problem of coordinating the plans and schedules for a team of agents in an uncertain and dynamic environment. Bounded rationality, bounded communication, subjectivi...
103
Voted
PDCN
2007
15 years 6 months ago
2007
In a distributed system, process synchronization is an important agenda. One of the major duties for process synchronization is mutual exclusion. This paper presents a new central...
162
click to vote
IROS
2009
IEEE
15 years 11 months ago
2009
IEEE
—Robust localization of robots and reliable tracking of people are both critical requirements for the deployment of service robots in real-world environments. In crowded public s...