4971 search results - page 132 / 995 » Observation systems |
CONCUR
2010
Springer
13 years 11 months ago
2010
Springer
Abstract. We consider the problem of defining the information leakage in interactive systems where secrets and observables can alternate during the computation. We show that the in...
HOLOMAS
2007
Springer
14 years 4 months ago
2007
Springer
We present a formal approach to conception of a dedicated security infrastructure based on the exception handling in the protected agents. Securityrelated exceptions are identifie...
HUC
2003
Springer
14 years 3 months ago
2003
Springer
Context-aware computing in location-aware environments demands the combination of real world position with a computational world model to infer context. We present a novel approach...
ATVA
2004
Springer
14 years 3 months ago
2004
Springer
— This paper considers the state feedback control of parameterized discrete event systems consisting of N similar processes for the problem of maintaining a predicate on the stat...
ESSMAC
2003
Springer
14 years 3 months ago
2003
Springer
Gaussian Process prior models, as used in Bayesian non-parametric statistical models methodology are applied to implement a nonlinear adaptive control law. The expected value of a...