3169 search results - page 303 / 634 » Robust Timed Automata |
194
click to vote
ICPADS
2005
IEEE
16 years 26 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...
181
click to vote
IPPS
2005
IEEE
16 years 26 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 ...
191
click to vote
AI
2005
Springer
16 years 24 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...
164
click to vote
ESORICS
2005
Springer
16 years 24 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...
183
click to vote
FSTTCS
2005
Springer
16 years 24 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...