771 search results - page 65 / 155 » Modelling and Analysing Socio-Technical Systems |
SIGSOFT
2009
ACM
15 years 11 months ago
2009
ACM
System specifications have long been expressed through automata-based languages, enabling verification techniques such as model checking. These verification techniques can assess ...
83
Voted
ASWEC
2005
IEEE
15 years 4 months ago
2005
IEEE
The success of UML and more generally, of the model driven approach, has led to a proliferation of models, representing various systems, but the description of large applications ...
86
Voted
DATE
2003
IEEE
15 years 4 months ago
2003
IEEE
This paper presents VISTA, a new methodology and tool dedicated to analyse system level performance by executing full-scale SW application code on a transaction-level model of the...
71
Voted
DATE
2009
IEEE
15 years 5 months ago
2009
IEEE
A new approach in hierarchical optimisation is presented which is capable of optimising both the performance and yield of an analogue design. Performance and yield trade offs are ...
74
Voted
PRDC
2009
IEEE
15 years 5 months ago
2009
IEEE
—Fault injection (FI) has been shown to be an effective approach to assessing the dependability of software systems. To determine the impact of faults injected during FI, a given...