1308 search results - page 224 / 262 » Application of Hazard Analysis to Software Quality Modelling |
128
click to vote
KBSE
1998
IEEE
15 years 8 months ago
1998
IEEE
Most efforts to automate formal verification of communicating systems have centred around finite-state systems (FSSs). However, FSSs are incapable of modelling many practical comm...
148
Voted
AVI
2010
15 years 5 months ago
2010
Gaze visualizations hold the potential to facilitate usability studies of interactive systems. However, visual gaze analysis in threedimensional virtual environments still lacks m...
126
click to vote
SIGMETRICS
1996
ACM
15 years 8 months ago
1996
ACM
In this paper we describe our experiments on digital video applications, concentrating on the static and dynamic tradeo s involved in video playback. Our results were extracted fr...
136
click to vote
ISOLA
2010
Springer
15 years 2 months ago
2010
Springer
This article comprehensively surveys the work accomplished during the past decade on an approach to analyze concurrent systems qualitatively and quantitatively, by combining functi...
144
Voted
SIMULATION
2010
14 years 10 months ago
2010
We introduce and describe a novel network simulation tool called NeSSi (Network Security Simulator). NeSSi incorporates a variety of features relevant to network security distingu...