3425 search results - page 633 / 685 » A Model Driven Approach for Software Systems Reliability |
118
click to vote
TSE
1998
15 years 2 months ago
1998
—It is well known that requirements engineering plays a critical role in software quality. The use case approach is a requirements elicitation technique commonly used in industri...
145
click to vote
EUROSYS
2007
ACM
16 years 8 days ago
2007
ACM
Data centers are often under-utilized due to over-provisioning as well as time-varying resource demands of typical enterprise applications. One approach to increase resource utili...
156
click to vote
CCS
2011
ACM
14 years 3 months ago
2011
ACM
Verifying that access-control systems maintain desired security properties is recognized as an important problem in security. Enterprise access-control systems have grown to prote...
137
click to vote
ICVS
2001
Springer
15 years 7 months ago
2001
Springer
Abstract. Experimenting and building integrated, operational systems in computational vision poses both theoretical and practical challenges, involving methodologies from control t...
128
click to vote
IFM
2004
Springer
15 years 8 months ago
2004
Springer
Abstract. We describe how CSP-OZ, an integrated formal method combining the process algebra CSP with the specification language Object-Z, can be linked to standard software engine...