3638 search results - page 287 / 728 » HEP@Home - A distributed computing system based on BOINC |
231
click to vote
ARGMAS
2009
Springer
16 years 1 months ago
2009
Springer
We describe a working multi-agent architecture based on Defeasible Logic Programming (DeLP) by Garc´ıa and Simari where agents are engaged in an argumentation to reach a common c...
183
click to vote
CONCUR
2005
Springer
16 years 4 days ago
2005
Springer
We introduce two abstract models for multithreaded programs based on dynamic networks of pushdown systems. We address the problem of symbolic reachability analysis for these models...
152
Voted
ICDCSW
2002
IEEE
15 years 11 months ago
2002
IEEE
— This paper envisions a shared virtual reality system that could handle millions of users and objets. The SOLIPSIS system does not rely on servers and is based on a network of p...
182
click to vote
DEBS
2008
ACM
15 years 8 months ago
2008
ACM
Two convincing paradigms have emerged for achieving scalability in widely distributed systems: publish/subscribe communication and role-based, policy-driven control of access to t...
192
click to vote
ICPADS
2005
IEEE
16 years 6 days ago
2005
IEEE
In the audit process of Internet activities of users in a local area network, one of the most difficult problems is the problem of source authentication i.e. establishing securely...