2594 search results - page 176 / 519 » Stabilization of Systems with Changing Dynamics |
143
click to vote
ECAI
2006
Springer
15 years 8 months ago
2006
Springer
Minimal change is a fundamental principle for modeling system dynamics. In this paper, we study the issue of minimal change for Computational Tree Logic (CTL) model update. We firs...
153
click to vote
FTCS
1997
15 years 5 months ago
1997
This paper presents robust emulation of multi-writer/multi-reader registers in message-passing systems using dynamic quorum con gurations. In addition to processor and link failur...
121
click to vote
FC
1999
Springer
15 years 8 months ago
1999
Springer
Abstract. We present a series of protocols for authenticating an individual’s membership in a group without revealing that individual’s identity and without restricting how the...
124
click to vote
AAMAS
2008
Springer
15 years 4 months ago
2008
Springer
Abstract Multi-agent simulation is applied to explore how different types of task variety cause workgroups to change their task allocation accordingly. We studied two groups, gener...
138
click to vote
IJON
2007
15 years 4 months ago
2007
We investigate a recently proposed method for the analysis of oscillatory patterns in EEG data, with respect to its capacity of further quantifying processes on slower (< 1 Hz)...