1679 search results - page 242 / 336 » Security Properties and CSP |
168
click to vote
ACSAC
2009
IEEE
15 years 11 months ago
2009
IEEE
Abstract—Various cryptographic puzzle schemes are proposed as a defense mechanism against denial of service attack. But, all these puzzle schemes face a dilemma when there is a l...
189
click to vote
AGENTS
2001
Springer
15 years 10 months ago
2001
Springer
In this paper, we study a simple means for coordinating teams of simple agents. In particular, we study ant robots and how they can cover terrain once or repeatedly by leaving mar...
169
click to vote
AGENTS
2001
Springer
15 years 10 months ago
2001
Springer
Conflict resolution is a critical problem in distributed and collaborative multi-agent systems. Negotiation via argumentation (NVA), where agents provide explicit arguments or ju...
175
click to vote
AGENTS
2001
Springer
15 years 10 months ago
2001
Springer
We present a computational study of an auction-based method for decentralized train scheduling. The method is well suited to the natural information and control structure of moder...
159
click to vote
OOPSLA
2001
Springer
15 years 10 months ago
2001
Springer
Checking pre- and post-conditions of procedures and methods at runtime helps improve software reliability. In the procedural world, pre- and post-conditions have a straightforward...