705 search results - page 96 / 141 » Towards Aspectual i* |
ATAL
2005
Springer
14 years 2 months ago
2005
Springer
Multiparty agreements often arise in a multiagent system where autonomous agents interact with each other to achieve a global goal. Multiparty agreements are traditionally represe...
CAV
2005
Springer
14 years 2 months ago
2005
Springer
Bounded model checking is an efficient method for finding bugs in system designs. The major drawback of the basic method is that it cannot prove properties, only disprove them. R...
ICANN
2005
Springer
14 years 2 months ago
2005
Springer
Cricket females perform phonotaxis towards the specific sounds produced by male crickets. By means of a well-tuned peripheral auditory system the cricket is able to extract direct...
ACMDIS
2004
ACM
14 years 2 months ago
2004
ACM
Privacy is a difficult design issue that is becoming increasingly important as we push into ubiquitous computing environments. While there is a fair amount of theoretical work on ...
ACMSE
2004
ACM
14 years 2 months ago
2004
ACM
This paper presents a distributed multi-robot system designed to solve a team-based search and destroy task. The project was divided into two phases. The initial phase was used to...