1009 search results - page 108 / 202 » Performance Analysis of UML Models Using Aspect-Oriented Mod... |
106
click to vote
VALUETOOLS
2006
ACM
15 years 3 months ago
2006
ACM
In this paper we describe the design, implementation, and analytical background of the DISCO Network Calculator. The DISCO Network Calculator is an open-source toolbox written in ...
CAV
2010
Springer
14 years 8 months ago
2010
Springer
We describe Breach, a Matlab toolbox providing a coherent set of simulation-based techniques aimed at the analysis of deterministic models of hybrid dynamical systems. The primary ...
ICRE
1998
IEEE
15 years 2 months ago
1998
IEEE
A safety analysis was performed on the software requirements for a family of ight instrumentation displays of commercial aircraft. First, an existing Safety Checklist was extended...
WWW
2004
ACM
15 years 10 months ago
2004
ACM
The ability to determine what day-to-day activity (such as cooking pasta, taking a pill, or watching a video) a person is performing is of interest in many application domains. A ...
106
click to vote
ATVA
2007
Springer
15 years 4 months ago
2007
Springer
Fault tree analysis is a traditional and well-established technique for analyzing system design and robustness. Its purpose is to identify sets of basic events, called cut sets, wh...