222 search results - page 8 / 45 » A Formal Verification Methodology for Checking Data Integrit... |
103
click to vote
EDBTW
2006
Springer
15 years 1 months ago
2006
Springer
The need for incremental constraint maintenance within collections of semi-structured documents has been ever increasing in the last years due to the widespread diffusion of XML. T...
95
Voted
DILS
2004
Springer
15 years 5 months ago
2004
Springer
Meaningfully integrating massive multi-experimental genomic data sets is becoming critical for the understanding of gene function. We have recently proposed methodologies for integ...
129
Voted
PPOPP
2009
ACM
16 years 6 days ago
2009
ACM
This paper considers the problem of formal verification of MPI programs operating under a fixed test harness for safety properties without building verification models. In our app...
113
click to vote
AINA
2003
IEEE
15 years 3 months ago
2003
IEEE
Condition Data Flow Diagrams (CDFDs) are a formalized notation resulting from the integration of Yourdon Data Flow Diagrams, Petri Nets, and pre-post notation. They are used in th...
100
click to vote
DAC
2006
ACM
16 years 19 days ago
2006
ACM
This paper describes a novel engine, called PE-ICE (Parallelized Encryption and Integrity Checking Engine), enabling to guarantee confidentiality and integrity of data exchanged b...