3555 search results - page 292 / 711 » Security-Critical System Development with Extended Use Cases |
194
click to vote
DT
2008
15 years 6 months ago
2008
In the past decade real-time embedded systems became more and more complex and pervasive. From the user perspective, these systems have stringent requirements regarding size, perfo...
157
click to vote
DATE
2008
IEEE
16 years 1 months ago
2008
IEEE
This paper presents a game-theoretic approach to the testing of uncontrollable real-time systems. By modelling the systems with Timed I/O Game Automata and specifying the test pur...
152
click to vote
COLCOM
2005
IEEE
16 years 7 days ago
2005
IEEE
Multi-way dataflow constraints are very useful in the development of collaborative applications, such as collaborative CAD and CASE systems, but satisfying multi-way dataflow cons...
155
click to vote
DSD
2005
IEEE
16 years 7 days ago
2005
IEEE
Reconfigurable system is a promising alternative to deliver both flexibility and performance at the same time. New reconfigurable technologies and technologydependent tools have b...
165
click to vote
IBERAMIA
1998
Springer
15 years 10 months ago
1998
Springer
This paper presents an extension of Bayesian networks (BN) applied to reliability analysis. We developed a general methodology for modelling reliability of complex systems based o...