402 search results - page 30 / 81 » Automatic Abstraction for Worst-Case Analysis of Discrete Sy... |
FORMATS
2010
Springer
13 years 5 months ago
2010
Springer
Abstract. Probabilistic timed automata are an extension of timed automata with discrete probability distributions. Simulation and bisimulation relations are widely-studied in the c...
CODES
2005
IEEE
14 years 1 months ago
2005
IEEE
This paper presents a novel approach for multiprocess synthesis supporting well-tailored module integration at system level. The goal is to extend the local scope of existing arch...
ICDM
2009
IEEE
14 years 2 months ago
2009
IEEE
Abstract -- Detection of execution anomalies is very important for the maintenance, development, and performance refinement of large scale distributed systems. Execution anomalies ...
RTAS
2003
IEEE
14 years 25 days ago
2003
IEEE
Model-based automatic code generation is a process of converting abstract models into concrete implementations in the form of a program written in a high-level programming languag...
RAID
2009
Springer
14 years 2 months ago
2009
Springer
Abstract. In order to detect a compromise of a running process based on it deviating from its program’s normal system-call behavior, an anomaly detector must first be trained wi...