8555 search results - page 267 / 1711 » Property Based Coordination |
216
click to vote
ATAL
1995
Springer
15 years 11 months ago
1995
Springer
The agent view provides maybe the right level of abstraction for dealing with complex, distribblem-solving systems. It abstracts from aspects like the hardware or software platfor...
189
click to vote
TIME
2006
IEEE
16 years 1 months ago
2006
IEEE
In this paper, we present our work on creating a complete set of rules for temporal arithmetic mixing months and days based on the “history-dependent intuition”. Many examples...
204
click to vote
LPAR
2005
Springer
16 years 24 days ago
2005
Springer
Abstract. Many security protocols fundamentally depend on the algebraic properties of cryptographic operators. It is however difficult to handle these properties when formally anal...
207
click to vote
ECAI
2006
Springer
15 years 11 months ago
2006
Springer
An approach to handle the complex dynamics of a multi-agent system is based on distinguishing aggregation levels by structuring the system into parts or components. The behavior of...
182
click to vote
PPSN
2000
Springer
15 years 11 months ago
2000
Springer
This work introduces a general mathematical framework for non-stationary fitness functions which enables the exact definition of certain problem properties. The properties' in...