7508 search results - page 1154 / 1502 » A new approach for distributed computing in avionics systems |
161
Voted
ATAL
2010
Springer
15 years 8 months ago
2010
Springer
Verification of multi-agent programs is a key problem in agent research and development. This paper focuses on multi-agent programs that consist of a finite set of BDI-based agent...
172
click to vote
WWW
2010
ACM
15 years 10 months ago
2010
ACM
Selecting and presenting content culled from multiple heterogeneous and physically distributed sources is a challenging task. The exponential growth of the web data in modern time...
196
click to vote
HPDC
2008
IEEE
16 years 1 months ago
2008
IEEE
Self-configuring virtual networks rely on structured P2P routing to provide seamless connectivity among nodes through overlay routing of virtual IP packets, support decentralized...
204
click to vote
PODC
2011
ACM
14 years 9 months ago
2011
ACM
Internet supercomputing is becoming an increasingly popular means for harnessing the power of a vast number of interconnected computers. This comes at a cost substantially lower t...
189
click to vote
SIGIR
2004
ACM
16 years 7 days ago
2004
ACM
Collaborative filtering identifies information interest of a particular user based on the information provided by other similar users. The memory-based approaches for collaborativ...