59 search results - page 5 / 12 » A Model-Driven Approach to Implementing Coordination Protoco... |
PERCOM
2009
ACM
15 years 4 months ago
2009
ACM
—Recent research in pervasive computing has shown that context-awareness and dynamic adaptation are fundamental requirements of mobile distributed applications. However, most app...
106
click to vote
IEAAIE
2011
Springer
14 years 1 months ago
2011
Springer
Using model checking to verify that interaction protocols have given properties is widely recognized as an important issue in multiagent systems where autonomous and heterogeneous ...
79
Voted
HPDC
2002
IEEE
15 years 2 months ago
2002
IEEE
Our research addresses the efficient transfer of large data across wide-area networks, focusing on applications like remote visualization and real-time collaboration. To attain h...
SC
2003
ACM
15 years 2 months ago
2003
ACM
Buffered CoScheduled MPI (BCS-MPI) introduces a new approach to design the communication layer for largescale parallel machines. The emphasis of BCS-MPI is on the global coordinat...
93
Voted
AAMAS
2000
Springer
14 years 9 months ago
2000
Springer
We adopt the decision-theoretic principle of expected utility maximization as a paradigm for designing autonomous rational agents, and present a framework that uses this paradigm t...