597 search results - page 69 / 120 » E-Process Design and Assurance Using Model Checking |
118
Voted
ICDE
2010
IEEE
16 years 2 months ago
2010
IEEE
Data quality is a critical problem in modern databases. Data entry forms present the first and arguably best opportunity for detecting and mitigating errors, but there has been li...
94
Voted
ACSAC
2004
IEEE
15 years 6 months ago
2004
IEEE
This paper discusses VIEWS, a specification for building diagrams that describe the security features of systems. The authors' recent experience with providing security archi...
122
Voted
FMCO
2008
Springer
15 years 4 months ago
2008
Springer
In this paper, we present a framework for formal modeling and verification of service-based business processes with focus on their compliance to external regulations such as Segreg...
129
Voted
FMICS
2009
Springer
15 years 9 months ago
2009
Springer
Cell libraries often contain a simulation model in a system design language, such as Verilog. These languages usually involve nondeterminism, which in turn, poses a challenge to th...
130
Voted
DAC
2009
ACM
16 years 3 months ago
2009
ACM
Continuously shrinking feature sizes result in an increasing susceptibility of circuits to transient faults, e.g. due to environmental radiation. Approaches to implement fault tol...