4350 search results - page 186 / 870 » Case studies for contract-based systems |
135
click to vote
CAISE
2009
Springer
15 years 11 months ago
2009
Springer
In CAiSE 2006, we had presented a framework to support development of secure information systems. The framework was based on the integration of two security-aware approaches, the S...
130
click to vote
CASES
2001
ACM
15 years 8 months ago
2001
ACM
This paper presents the modeling of embedded systems with SimBed, an execution-driven simulation testbed that measures the execution behavior and power consumption of embedded app...
133
click to vote
SBMF
2009
Springer
15 years 11 months ago
2009
Springer
Abstract. This paper presents a case study on retrospective veri cation of the Linux Virtual File System (VFS), which is aimed at checking for violations of API usage rules and mem...
131
click to vote
ML
1998
ACM
15 years 4 months ago
1998
ACM
This paper is a case study of a machine aided knowledge discovery process within the general area of drug design. More speci cally, the paper describes a sequence of experiments in...
136
click to vote
ECBS
2009
IEEE
15 years 11 months ago
2009
IEEE
Probabilistic models are useful for analyzing systems which operate under the presence of uncertainty. In this paper, we present a technique for verifying safety and liveness prop...