4350 search results - page 137 / 870 » Case studies for contract-based systems |
123
click to vote
COMCOM
2000
15 years 3 months ago
2000
ABSTRACT -- SPEC-VALUE, a rigorous scenario-driven approach for the description and validation of complex system functionalities at the early stages of design, is presented. It is ...
142
click to vote
IWANN
2009
Springer
15 years 10 months ago
2009
Springer
Generating test data for formal state based specifications is computationally expensive. This paper improves a framework that addresses this issue by representing the test data ge...
166
click to vote
SIMULATION
2011
14 years 11 months ago
2011
From a modelling and simulation perspective, studying dynamic systems consists of focusing on changes in states. According to the precision of state changes, generic algorithms ca...
119
click to vote
SIGOPS
2010
15 years 2 months ago
2010
Storage systems in emerging large-scale (a.k.a. peta-scale) computing systems often introduce a performance or scalability bottleneck. To deal with these limitations we propose a ...
147
click to vote
USS
2008
15 years 6 months ago
2008
We examine the security requirements for creating a Deniable File System (DFS), and the efficacy with which the TrueCrypt disk-encryption software meets those requirements. We fin...