3565 search results - page 451 / 713 » Modeling a system controller for timing analysis |
124
click to vote
WSCG
2001
15 years 6 months ago
2001
In this paper we will be describing a new animation architecture and its implementation in our system LIVE. This model introduces a new blending layer approach which uses several ...
159
click to vote
RAID
2007
Springer
15 years 11 months ago
2007
Springer
Abstract. Many host-based anomaly detection systems monitor process execution at the granularity of system calls. Other recently proposed schemes instead verify the destinations of...
138
click to vote
DAGSTUHL
2006
15 years 6 months ago
2006
Verification and Simulation share many issues, one is that simulation models require validation and verification. In the context of simulation, verification is understood as the ta...
179
click to vote
AB
2007
Springer
15 years 11 months ago
2007
Springer
A series of papers, all under the title of Algorithmic Algebraic Model Checking (AAMC), has sought to combine techniques from algorithmic algebra, model checking and dynamical syst...
134
click to vote
ICDE
2010
IEEE
16 years 4 months ago
2010
IEEE
Abstract-- In this paper, we present TransDec, an end-toend data-driven system which enables spatiotemporal queries in transportation systems with dynamic, real-time and historical...