4250 search results - page 126 / 850 » Understanding the Requirements on Modelling Techniques |
FASE
2009
Springer
14 years 1 months ago
2009
Springer
We have proposed an automated debugging technique that explains a failure by computing its causal path leading from the root cause to the failure. Given a failing execution, the te...
ICCS
2005
Springer
14 years 2 months ago
2005
Springer
Since typical industrial-scale reactors may contain many millions of bubbles, the extension of direct free-surface modelling techniques to resolve every bubble in the vessel would ...
IEEEARES
2008
IEEE
14 years 3 months ago
2008
IEEE
In this paper, we discuss the use of formal requirementsengineering techniques in capturing security requirements for a Grid-based operating system. We use KAOS goal model to repr...
USENIX
2008
13 years 11 months ago
2008
Evaluating novel networked protocols and services requires subjecting the target system to realistic Internet conditions. However, there is no common understanding of what is requ...
WSC
2004
13 years 10 months ago
2004
When major transportation infrastructures such as freight corridors or port systems are being planned, there are typically multiple phases of preliminary engineering required. Dur...