10159 search results - page 140 / 2032 » System Design Validation Using Formal Models |
107
click to vote
EICS
2009
ACM
15 years 6 months ago
2009
ACM
This paper presents an approach for investigating in a predictive way potential disruptive effects of interruptions on task performance in a multitasking environment. The approach...
97
Voted
ICSE
2001
IEEE-ACM
15 years 6 months ago
2001
IEEE-ACM
The design of complex systems requires powerful mechanisms for modeling state, concurrent events, and real-time behavior; as well as for visualising and structuring systems in ord...
113
click to vote
HASE
1999
IEEE
15 years 6 months ago
1999
IEEE
Even though a thorough system specification improves the quality of the design , it is not sufficient to guarantee that a system will satisfy its reliability targets. Within this ...
124
click to vote
WOSP
2010
ACM
15 years 2 months ago
2010
ACM
Quantitative prediction of quality properties (i.e. extrafunctional properties such as performance, reliability, and cost) of software architectures during design supports a syste...
125
click to vote
FMICS
2006
Springer
15 years 6 months ago
2006
Springer
Parking garages that stow and retrieve cars automatically are becoming viable solutions for parking shortages. However, these are complex systems and a number of severe incidents i...