2838 search results - page 338 / 568 » Verifying Controlled Components |
164
click to vote
FPL
2007
Springer
16 years 24 days ago
2007
Springer
In this paper, we propose a first step towards a time predictable computer architecture for single-chip multiprocessing (CMP). CMP is the actual trend in server and desktop syste...
163
click to vote
HYBRID
2007
Springer
16 years 24 days ago
2007
Springer
We consider the problem of verifying reachability properties of stochastic real-time systems modeled as generalized semi-Markov processes (GSMPs). The standard simulation-based tec...
172
click to vote
ICCS
2007
Springer
16 years 23 days ago
2007
Springer
The distributed object group framework (DOGF) enables easier integration of distributed objects to healthcare home applications. This paper describes a healthcare information manag...
196
click to vote
RAID
2007
Springer
16 years 22 days 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...
176
click to vote
GLOBECOM
2006
IEEE
16 years 20 days ago
2006
IEEE
— Low analyzes the equilibrium performance of the recently developed eXplicit Control Protocol (XCP) by applying the derived window-based dynamical model. However, Low’s window...