222 search results - page 29 / 45 » A Formal Verification Methodology for Checking Data Integrit... |
195
click to vote
ICDT
2009
ACM
16 years 13 days ago
2009
ACM
We formalize and study business process systems that are centered around "business artifacts", or simply "artifacts". This approach focuses on data records, kn...
109
click to vote
STORAGESS
2005
ACM
15 years 5 months ago
2005
ACM
Data integrity is a fundamental aspect of storage security and reliability. With the advent of network storage and new technology trends that result in new failure modes for stora...
BCS
2008
15 years 1 months ago
2008
Using formal verification for designing hardware designs free from logic design bugs has been an active area of research since the last 15 years. Technology has matured and we hav...
205
Voted
POPL
2009
ACM
16 years 11 days ago
2009
ACM
This work develops an integrated approach to the verification of behaviourally rich programs, founded directly on operational semantics. The power of the approach is demonstrated ...
ZUM
2005
Springer
15 years 5 months ago
2005
Springer
Abstract. Web-based applications are the most common form of distributed systems that have gained a lot of attention in the past ten years. Today many of us are relying on scores o...