222 search results - page 28 / 45 » A Formal Verification Methodology for Checking Data Integrit... |
114
click to vote
TODAES
1998
15 years 3 months ago
1998
Abstract State Machines (ASMs) provide a sound mathematical basis for the specification and verification of systems. An application of the ASM methodology to the verification of a ...
137
Voted
EUROMICRO
1996
IEEE
15 years 7 months ago
1996
IEEE
Transformational design integrates design and verification. It combines "correctness by construciion" and design creativity by the use ofpre-proven behaviour preserving ...
126
Voted
DAGSTUHL
2004
15 years 5 months ago
2004
One aim of tool integration is designing an integrated development environment that accesses the data/models of different tools and keeps them consistent throughout a project bein...
113
Voted
ICDT
2007
ACM
15 years 9 months ago
2007
ACM
Abstract. We define and study formal privacy guarantees for information integration systems, where sources are related to a public schema by mappings given by source-to-target dep...
148
Voted
ER
2007
Springer
15 years 9 months ago
2007
Springer
New technologies used in biology are generating huge quantities of data; up to two petabytes of overall data are to be expected by the end of the decade. Modern biology also has t...