3169 search results - page 303 / 634 » Robust Timed Automata |
170
click to vote
ICPADS
2005
IEEE
16 years 6 days ago
2005
IEEE
The evaluation of QoS requirements is one of the critical functions that span both the design and the run-time phases of QoS management. This paper presents an architecture for Qo...
168
click to vote
IPPS
2005
IEEE
16 years 6 days ago
2005
IEEE
— The DECOS architecture aims at combining the advantages of federated and integrated systems. The DECOS architecture divides the overall system into a set of nearly-independent ...
176
click to vote
AI
2005
Springer
16 years 5 days ago
2005
Springer
This paper deals with the incremental off-line computation of diagnosis of discrete-event systems. Traditionally, the diagnosis is computed from the global automaton describing th...
146
click to vote
ESORICS
2005
Springer
16 years 4 days ago
2005
Springer
We consider the enforcement powers of program monitors, which intercept security-sensitive actions of a target application at run time and take remedial steps whenever the target a...
162
click to vote
FSTTCS
2005
Springer
16 years 4 days ago
2005
Springer
We introduce asynchronous dynamic pushdown networks (ADPN), a new model for multithreaded programs in which pushdown systems communicate via shared memory. ADPN generalizes both CP...