8009 search results - page 1328 / 1602 » cans 2005 |
175
click to vote
TLCA
2005
Springer
16 years 7 days ago
2005
Springer
There is growing public concern about personal data collected by both private and public sectors. People have very little control over what kinds of data are stored and how such da...
183
click to vote
TLCA
2005
Springer
16 years 7 days ago
2005
Springer
In a series of articles, we developed a method to translate general recursive functions written in a functional programming style into constructive type theory. Three problems rema...
188
click to vote
VLDB
2005
ACM
16 years 7 days ago
2005
ACM
Emerging data stream management systems approach the challenge of massive data distributions which arrive at high speeds while there is only small storage by summarizing and minin...
187
click to vote
VSTTE
2005
Springer
16 years 7 days ago
2005
Springer
Abstract. We present a framework for verifying that programs correctly preserve important data structure consistency properties. Results from our implemented system indicate that o...
174
click to vote
VSTTE
2005
Springer
16 years 7 days ago
2005
Springer
: Verifying design instead of code can be an effective and practical approach to obtaining verified software. This paper argues that proof scores are an attractive method for ver...