222 search results - page 38 / 45 » A Formal Verification Methodology for Checking Data Integrit... |
116
click to vote
ACMSE
2008
ACM
15 years 1 months ago
2008
ACM
As computers become increasingly integral to daily life there is a need for computer scientists to focus on the user. This, in part, entails developing applications that have inte...
FAST
2008
15 years 2 months ago
2008
RAID storage systems protect data from storage errors, such as data corruption, using a set of one or more integrity techniques, such as checksums. The exact protection offered by...
CAV
2006
Springer
15 years 3 months ago
2006
Springer
Abstract. Many software model checkers are based on predicate abstraction. If the verification goal depends on pointer structures, the approach does not work well, because it is di...
SIGSOFT
2008
ACM
16 years 12 days ago
2008
ACM
Getting the right software requirements under the right environment assumptions is a critical precondition for developing the right software. This task is intrinsically difficult....
110
click to vote
SAC
2009
ACM
15 years 4 months ago
2009
ACM
This paper presents a novel software engineering approach for developing a dynamic web interface that meets the quality criterion of “WYDIWYS” - What You Do Is What You See. T...