4290 search results - page 697 / 858 » Formal Approaches to Teamwork |
149
click to vote
NCA
2005
IEEE
16 years 2 days ago
2005
IEEE
This paper presents a new algorithm for a reconfigurable distributed domain-oriented atomic object service, called DO-RAMBO, which stands for Domain-Oriented Reconfigurable Atom...
147
click to vote
QSIC
2005
IEEE
16 years 2 days ago
2005
IEEE
While the use of computer applications is widely spread in every business and, hence, the reliability of software is critical, it is believed that many organizations involved in s...
153
click to vote
SP
2005
IEEE
16 years 2 days ago
2005
IEEE
We present a distributed algorithm for assembling a proof that a request satisfies an access-control policy expressed in a formal logic, in the tradition of Lampson et al. [16]. ...
175
click to vote
WACV
2005
IEEE
16 years 2 days ago
2005
IEEE
— In this work, we present a formalization of the video synchronization problem that exposes new variants of the problem that have been left unexplored to date. We also present a...
187
click to vote
WECWIS
2005
IEEE
16 years 2 days ago
2005
IEEE
This paper studies adaptive bilateral negotiation between software agents in e-commerce environments. Specifically, we assume that the agents are self-interested, the environment...