296 search results - page 50 / 60 » Linear Parametric Model Checking of Timed Automata |
ADAEUROPE
2005
Springer
14 years 1 months ago
2005
Springer
This paper describes the methodology used to add nonintrusive system-level fault tolerance to an electronic throttle controller. The original model of the throttle controller is a...
ACSD
2006
IEEE
14 years 1 months ago
2006
IEEE
We study the monitoring and fault-diagnosis problems for dense-time real-time systems, where observers (monitors and diagnosers) have access to digital rather than analog clocks. ...
ISBI
2002
IEEE
14 years 17 days ago
2002
IEEE
We develop noninvasive MRI techniques that quantify the permeability of the Blood-Brain Barrier (BBB). Using such gadolinium compounds as Gd-DTPA and gadomer17, changes in R1 (R1 ...
TIME
2006
IEEE
14 years 1 months ago
2006
IEEE
Querying its own history is an important mechanism in the computations, especially those interacting with people or other computations such as transaction processing, electronic d...
CORR
2010
Springer
13 years 7 months ago
2010
Springer
Courcelle's famous theorem from 1990 states that any property of graphs definable in monadic second-order logic (MSO2) can be decided in linear time on any class of graphs of ...