2501 search results - page 321 / 501 » Logics with Rank Operators |
176
click to vote
COORDINATION
2004
Springer
15 years 10 months ago
2004
Springer
This paper presents Limone, a new coordination model that facilitates rapid application development over ad hoc networks consisting of logically mobile agents and physically mobile...
144
Voted
ECAI
2004
Springer
15 years 10 months ago
2004
Springer
This paper presents a new model of agency, called the KGP (Knowledge, Goals and Plan) model. This draws from the classic BDI model and proposes a hierarchical agent architecture wi...
133
click to vote
ISSS
2002
IEEE
15 years 10 months ago
2002
IEEE
Scheduling is widely recognized as a very important step in highlevel synthesis. Nevertheless, it is usually done without taking into account the effects on the actual hardware im...
122
click to vote
SC
2000
ACM
15 years 9 months ago
2000
ACM
The performance of the MPI’s collective communications is critical in most MPI-based applications. A general algorithm for a given collective communication operation may not giv...
116
Voted
SIGOPSE
2000
ACM
15 years 9 months ago
2000
ACM
The algorithm for stabilising multiple stores, which we present in this paper, was developed in the process of designing the global stability and resilience mechanism for Grasshopp...