BIRTHDAY
2006
Springer
13 years 8 months ago
2006
Springer
BIRTHDAY
2006
Springer
13 years 8 months ago
2006
Springer
Abstract. Heuristic programming was the first area in which AI methods were tested. The favourite case-studies were fairly simple toyproblems, such as cryptarithmetic, games, such ...
BIRTHDAY
2006
Springer
13 years 8 months ago
2006
Springer
We consider secrecy problems for cryptographic protocols modeled using Horn clauses and present general classes of Horn clauses which can be efficiently decided. Besides simplifyin...
BIRTHDAY
2006
Springer
13 years 8 months ago
2006
Springer
Robots are autonomous agents whose actions are performed in the real world during a period of time. There are a number of general constraints on such actions, for example that the ...
BIRTHDAY
2006
Springer
13 years 8 months ago
2006
Springer
The paper presents an approach to reasoning about Web services in a temporal action theory. Web services are described by specifying their interaction protocols in an action theory...
BIRTHDAY
2006
Springer
13 years 8 months ago
2006
Springer
The rapid deployment of low-cost ubiquitous sensing devices
BIRTHDAY
2006
Springer
13 years 8 months ago
2006
Springer
Interpretation for Worst and Average Case Analysis Alessandra Di Pierro1 , Chris Hankin2 , and Herbert Wiklicky2 1 Dipartimento di Informatica, University of Pisa, Italy 2 Departme...
BIRTHDAY
2006
Springer
13 years 8 months ago
2006
Springer
BIRTHDAY
2006
Springer
13 years 8 months ago
2006
Springer
Abstract. We propose results ensuring properties of a component-based system from properties of its interaction model and of its components. We consider here deadlock-freedom and l...
BIRTHDAY
2006
Springer
13 years 8 months ago
2006
Springer
Data Flow Analysis as expressed by Monotone Frameworks is often associated with classical imperative programming languages and has played a crucial role in the efficient implementa...