213 search results - page 13 / 43 » The Value of Observation for Monitoring Dynamic Systems |
CDC
2009
IEEE
14 years 12 days ago
2009
IEEE
A closed-loop model with actuator dynamics and sensory feedback has been developed to capture the complex postural behaviors observed in a human head tracking task. In motor-contro...
ENTCS
2007
13 years 8 months ago
2007
We present a powerful and flexible method for automatically checking the secrecy of values inside components. In our framework an attacker may monitor the external communication ...
ATAL
2007
Springer
14 years 2 months ago
2007
Springer
This paper investigates the problem of estimating the value of probabilistic parameters needed for decision making in environments in which an agent, operating within a multi-agen...
TAAS
2010
13 years 3 months ago
2010
stractions that support application developers to describe dynamic organizations. The organization model is part of an integrated approach, called MACODO: Middleware Architecture f...
SOSP
1997
ACM
13 years 9 months ago
1997
ACM
Multi-threaded programming is difficult and error prone. It is easy to make a mistake in synchronization that produces a data race, yet it can be extremely hard to locate this mi...