2470 search results - page 156 / 494 » Liveness-Preserving Simulation Relations |
81
Voted
IJCAI
1989
15 years 2 months ago
1989
We address two issues which arise in the task of detecting anomalous behavior in complex systems with numerous sensor channels: how to adjust alarm thresholds dynamically, within ...
118
Voted
ADHOCNOW
2008
Springer
15 years 1 months ago
2008
Springer
This paper presents a work in progress which deals with the problem of node misbehaviour in ad-hoc networks. A realistic approach is used to determine the impact of contention wind...
ATAL
2010
Springer
15 years 1 months ago
2010
Springer
Empirical analyses of complex games necessarily focus on a restricted set of strategies, and thus the value of empirical game models depends on effective methods for selectively e...
98
Voted
ATAL
2010
Springer
15 years 1 months ago
2010
Springer
Alternating-time Temporal Logic (ATL) [1] is used to reason about strategic abilities of agents. Aiming at strategies that can realistically be implemented in software, many varia...
121
click to vote
GISCIENCE
2008
Springer
15 years 1 months ago
2008
Springer
A trajectory is the time-stamped path of a moving entity through space. Given a set of trajectories, this paper proposes new conceptual definitions for a spatio-temporal pattern n...