2042 search results - page 95 / 409 » Modeling and Analysis of Probabilistic Timed Systems |
HASE
1999
IEEE
14 years 1 months ago
1999
IEEE
The state of the art in verifying the real-time requirements of applications developed using general processing graph models relies on simulation or off-line scheduling. We extend...
SAFECOMP
2007
Springer
14 years 3 months ago
2007
Springer
With the rapid progress in science and technology, we find ubiquitous use of safety-critical systems in avionics, consumer electronics, and medical instruments. In such systems, u...
ICSEA
2008
IEEE
14 years 3 months ago
2008
IEEE
In this paper we propose that formal modelling techniques are necessary in establishing the trustworthiness of e-voting systems and the software within. We illustrate how a distri...
WSC
1998
13 years 10 months ago
1998
This study describes an application of discrete-process simulation to a final assembly process within the automotive industry. The study addressed the issues of whether the proces...
SAC
2005
ACM
14 years 2 months ago
2005
ACM
KLAIM is an experimental language designed for modeling and programming distributed systems composed of mobile components where distribution awareness and dynamic system architect...