4099 search results - page 375 / 820 » A Framework for Interactive Proof |
177
click to vote
RELMICS
2005
Springer
16 years 7 days ago
2005
Springer
Abstract. As part of a larger project, we have built a declarative assembly language that enables us to specify multiple code paths to compute particular quantities, giving the ins...
191
click to vote
SEKE
2005
Springer
16 years 7 days ago
2005
Springer
Abstract. Emergent behaviour (EB) is a common phenomenon in multi-agent systems (MAS) where autonomous agents perform certain actions with only limited access to local information ...
173
click to vote
GCC
2004
Springer
16 years 4 days ago
2004
Springer
Defining the ways for components around the world to collaborate with each other to execute applications over the internet is one of the biggest challenges for computer scientists...
185
click to vote
TYPES
2004
Springer
16 years 3 days ago
2004
Springer
Abstract. Most approaches to the formal analysis of cryptography protocols make the perfect cryptographic assumption, which entails for example that there is no way to obtain knowl...
146
click to vote
WAOA
2004
Springer
16 years 3 days ago
2004
Springer
Borodin, Nielsen and Rackoff [5] proposed a framework for ing the main properties of greedy-like algorithms with emphasis on scheduling problems, and Davis and Impagliazzo [6] ext...