15792 search results - page 2723 / 3159 » Computational Abstraction Steps |
144
click to vote
ATAL
2005
Springer
16 years 17 days ago
2005
Springer
Abstract. Elderly people are a great repository of knowledge, the majority of which has never been gathered by formal means. In this paper we introduce an application of multi-agen...
173
click to vote
ATAL
2005
Springer
16 years 17 days ago
2005
Springer
Abstract. Design by contract is a well known theory that views software construction as based on contracts between clients (callers) and suppliers (routines), relying on mutual obl...
173
click to vote
ATVA
2005
Springer
16 years 17 days ago
2005
Springer
Abstract. This paper argues that flatness appears as a central notion in the verification of counter automata. A counter automaton is called flat when its control graph can be ...
159
click to vote
CAISE
2005
Springer
16 years 17 days ago
2005
Springer
Abstract. Computers support more and more tasks in the personal and professional activities of users. Such user tasks increasingly span large periods of time and many locations acr...
171
click to vote
CEEMAS
2005
Springer
16 years 17 days ago
2005
Springer
Abstract. Distributed Constraint Satisfaction Problems (DCSP) is a general framework for multi-agent coordination and conflict resolution. In most DCSP algorithms, inter-agent com...