234 search results - page 40 / 47 » Qualitative reasoning about consistency in geographic inform... |
175
click to vote
POPL
2007
ACM
15 years 9 months ago
2007
ACM
In this paper, we propose a new algorithm for proving the validity or invalidity of a pre/postcondition pair for a program. The algorithm is motivated by the success of the algori...
111
click to vote
CHI
2008
ACM
15 years 9 months ago
2008
ACM
Many Eyes is a web site that provides collaborative visualization services, allowing users to upload data sets, visualize them, and comment on each other's visualizations. Th...
ICTAI
2003
IEEE
15 years 2 months ago
2003
IEEE
One of the main reasons behind unfruitful software development projects is that it is often too late to correct the problems by the time they are detected. It clearly indicates th...
IWPSE
2003
IEEE
15 years 2 months ago
2003
IEEE
The dependencies and interrelations between classes and modules affect the maintainability of object-oriented systems. It is therefore important to capture weaknesses of the softw...
ICPP
2002
IEEE
15 years 2 months ago
2002
IEEE
Power aware computing has become popular recently and many techniques have been proposed to manage the energy consumption for traditional real-time applications. We have previousl...