5234 search results - page 681 / 1047 » Method Components - Rationale Revealed |
172
click to vote
CAV
2009
Springer
16 years 7 months ago
2009
Springer
This paper is concerned with the problem of computing the image of a set by a polynomial function. Such image computations constitute a crucial component in typical tools for set-b...
184
click to vote
CHI
2005
ACM
16 years 7 months ago
2005
ACM
This two-day workshop will advance discussion on the role of public interfaces in engaging citizens within the urban context. The aim is to determine how technology can help to de...
198
click to vote
CADE
2007
Springer
16 years 7 months ago
2007
Springer
Continuous probability distributions are widely used to mathematically describe random phenomena in engineering and physical sciences. In this paper, we present a methodology that ...
173
click to vote
CADE
2007
Springer
16 years 7 months ago
2007
Springer
We introduce a calculus for handling integer arithmetic in first-order logic. The method is tailored to Java program verification and meant to be used both as a supporting procedur...
170
click to vote
ICSE
2003
IEEE-ACM
16 years 6 months ago
2003
IEEE-ACM
Comprehensive consistency management requires a strong mechanism for repair once inconsistencies have been detected. In this paper we present a repair framework for inconsistent d...