727 search results - page 88 / 146 » ads 2004 |
AMAI
2004
Springer
13 years 7 months ago
2004
Springer
We address the topic of specifying multi-agent systems using the situation and state calculus (SSC). SSC has been proposed as an extension of the situation calculus to overcome so...
CN
2004
13 years 7 months ago
2004
This paper studies distributed choice of retransmission probabilities in slotted ALOHA. Both the cooperative team problem as well as the noncooperative game problem are considered...
CN
2004
13 years 7 months ago
2004
The problem of testing from an SDL specification is often complicated by the presence of infeasible paths. This paper introduces an approach for transforming a class of SDL specif...
COMPLEXITY
2004
13 years 7 months ago
2004
Bodies of plants are modularly organized. Development proceeds by adding new modules to open endings with a potential for branching. Each module is autonomous to some extent. Deve...
CONCURRENCY
2004
13 years 7 months ago
2004
Grid enabled portals are becoming increasingly popular as a platform for providing access to Grid services and resources. Unfortunately, much of the work done in portal developmen...