8828 search results - page 1454 / 1766 » Formal methods in practice |
173
click to vote
ICSE
2008
IEEE-ACM
16 years 6 months ago
2008
IEEE-ACM
The explicit documentation of the rationale of design decisions is a practice generally encouraged but rarely implemented in industry because of a variety of inhibitors. Known met...
173
click to vote
ICFP
2001
ACM
16 years 6 months ago
2001
ACM
The type systems of most typed functional programming languages are based on the Hindley-Milner type system. A practical problem with these type systems is that it is often hard t...
164
click to vote
ICDE
2010
IEEE
16 years 6 months ago
2010
IEEE
In this paper, we present an abstract framework for online approximation of time-series data that yields a unified set of algorithms for several popular models: data streams, amnes...
171
click to vote
ICDE
2010
IEEE
16 years 6 months ago
2010
IEEE
Data quality is a critical problem in modern databases. Data entry forms present the first and arguably best opportunity for detecting and mitigating errors, but there has been li...
170
click to vote
PERCOM
2007
ACM
16 years 6 months ago
2007
ACM
Activity monitoring, a crucial task in many applications, is often conducted expensively using video cameras. Also, effectively monitoring a large field by analyzing images from m...