963 search results - page 98 / 193 » Formal Analysis of BPMN Models Using Event-B |
149
click to vote
CAV
2004
Springer
15 years 6 months ago
2004
Springer
Abstract. We propose a new statistical approach to analyzing stochastic systems against specifications given in a sublogic of continuous stochastic logic (CSL). Unlike past numeri...
139
click to vote
DDECS
2006
IEEE
15 years 5 months ago
2006
IEEE
Abstract-- Hard real-time systems need methods to determine upper bounds for their execution times, usually called worst-case execution times. Timing anomalies are counterintuitive...
100
click to vote
SPIN
1999
Springer
15 years 5 months ago
1999
Springer
Model checking is traditionally applied to computer system design. It has proven to be a valuable technique. However, it requires detailed specifications of systems and requirement...
146
click to vote
ADAEUROPE
2005
Springer
15 years 7 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...
138
click to vote
IAT
2010
IEEE
14 years 11 months ago
2010
IEEE
There is a need for research on the scientific base and engineering requirements for building trustworthy systems in dynamic environments. To address this need, we study risk analy...