2911 search results - page 440 / 583 » A Theory of Expressiveness in Mechanisms |
106
click to vote
EMSOFT
2006
Springer
15 years 5 months ago
2006
Springer
Synchronous data-flow languages such as Scade/Lustre manage infinite sequences, or streams, as primitive values making them naturally adapted to the description of datadominated s...
138
click to vote
ATAL
2003
Springer
15 years 5 months ago
2003
Springer
We describe a general mechanism for adaptation in multiagent systems in which agents modify their behavior based on their memory of past events. These behavior changes can be elic...
114
click to vote
ATAL
2003
Springer
15 years 5 months ago
2003
Springer
This paper addresses the problem of protecting the data carried by mobile agents from the possible attacks of malicious execution hosts. Specifically, we consider protection mecha...
110
click to vote
HYBRID
1997
Springer
15 years 5 months ago
1997
Springer
Abstract. We can achieve guaranteed constraint satisfaction of a hybrid dynamical system (which takes into account the underlying continuous dynamics) in a simple, hierarchical con...
102
click to vote
HYBRID
1995
Springer
15 years 5 months ago
1995
Springer
The theory of supervisory control of discrete event systems is extended to the real-time setting. The real-time behavior of a system is represented by the set of all possible time...