5634 search results - page 185 / 1127 » About Abstract Classes |
AC
2000
Springer
15 years 3 months ago
2000
Springer
This tutorial paper discusses a particular style of operational semantics that enables one to give a ‘syntax-directed’ inductive definition of termination which is very useful...
101
click to vote
COLLABORATION
1999
Springer
15 years 3 months ago
1999
Springer
Abstract. We present a formal model of negotiation between autonomous agents. The purpose of the negotiation is to reach an agreement about the provision of a service by one agent ...
CAV
1993
Springer
15 years 3 months ago
1993
Springer
Abstract. This paper presents a scalable approach to reasoning formally about distributed algorithms. It uses results about I O automata to extract a set of proof obligations for s...
ECAI
2006
Springer
15 years 3 months ago
2006
Springer
Abstract. As far as we know, there is no multi-agent system allowing to talk both about choices of agents or groups of agents, strategies, and about sufficiently rich actions. This...
FSE
2008
Springer
15 years 26 days ago
2008
Springer
Abstract. In this paper we present an efficient algorithm for the retrieval of the RC4 secret key, given an internal state. This algorithm is several orders of magnitude faster tha...