10669 search results - page 1982 / 2134 » Software - Implemented Self-healing System |
140
click to vote
FOSSACS
2003
Springer
15 years 11 months ago
2003
Springer
rized Verification by Probabilistic Abstraction . . . . . . . . . . . . . . . . 87 Tamarah Arons, Amir Pnueli, Lenore Zuck Genericity and the π-Calculus . . . . . . . . . . . . ....
135
click to vote
FOSSACS
2003
Springer
15 years 11 months ago
2003
Springer
We describe a metalanguage MMML, which makes explicit the order of evaluation (in the spirit of monadic metalanguages) and the staging of computations (as in languages for multi-l...
141
click to vote
ICCS
2003
Springer
15 years 11 months ago
2003
Springer
Abstract. We describe a virtual telemetry system that allows us to devise and augment dynamic data-driven application simulations (DDDAS). Virtual telemetry has the advantage that ...
165
click to vote
AINA
2010
IEEE
15 years 11 months ago
2010
IEEE
Abstract—A geolocalised system generally belongs to an individual and as such knowing its location reveals the location of its owner, which is a direct threat against his privacy...
179
click to vote
DATE
2010
IEEE
15 years 11 months ago
2010
IEEE
This paper addresses the problem of stochastic task execution time estimation agnostic to the process distributions. The proposed method is orthogonal to the application structure ...