146 search results - page 27 / 30 » SENS: A Scalable and Expressive Naming System using CAN Rout... |
FUIN
2010
13 years 5 months ago
2010
Abstract. Logic Programs with Annotated Disjunctions (LPADs) allow to express probabilistic information in logic programming. The semantics of an LPAD is given in terms of the well...
FOCS
2002
IEEE
14 years 9 days ago
2002
IEEE
In recent years, gossip-based algorithms have gained prominence as a methodology for designing robust and scalable communication schemes in large distributed systems. The premise ...
SACMAT
2009
ACM
14 years 1 months ago
2009
ACM
Role based access control (RBAC) is a widely used access control paradigm. In large organizations, the RBAC policy is managed by multiple administrators. An administrative role ba...
SCAM
2008
IEEE
14 years 1 months ago
2008
IEEE
Bug-checking tools have been used with some success in recent years to find bugs in software. For finding bugs that can cause security vulnerabilities, bug checking tools requir...
AGENTS
2001
Springer
13 years 12 months ago
2001
Springer
Recent years are seeing an increasing need for on-line monitoring of deployed distributed teams of cooperating agents, e.g., for visualization, or performance tracking. However, i...