4290 search results - page 584 / 858 » Formal Approaches to Teamwork |
212
click to vote
ICTAI
1997
IEEE
15 years 10 months ago
1997
IEEE
This paper tackles the problem of analyzing the correctness and performance of a computer network protocol. Given the complexity of the problem, no currently used technique is abl...
133
click to vote
DATE
2010
IEEE
15 years 10 months ago
2010
IEEE
Due to increases in design complexity, routing a reset signal to all registers is becoming more difficult. One way to solve this problem is to reset only certain registers and rely...
176
click to vote
AIPS
2007
15 years 9 months ago
2007
A great deal of research has addressed the problem of generating optimal plans, but these plans are of limited use in circumstances where noisy sensors, unanticipated exogenous ac...
160
click to vote
ATAL
2008
Springer
15 years 8 months ago
2008
Springer
Although normative systems, or social laws, have proved to be a highly influential approach to coordination in multi-agent systems, the issue of compliance to such normative syste...
186
click to vote
ESWS
2008
Springer
15 years 8 months ago
2008
Springer
One of the crucial reasons for adding semantic descriptions to Web services is to enable intelligent discovery, removing the need for a human to manually search and browse textual ...