10457 search results - page 1918 / 2092 » Data Mapping as Search |
132
click to vote
JAR
2006
15 years 4 months ago
2006
Using automated reasoning techniques, we tackle the niche activity of proving that a program is free from run-time exceptions. Such a property is particularly valuable in high inte...
162
click to vote
JUCS
2008
15 years 4 months ago
2008
: Mass digitization of document collections with further processing and semantic annotation is an increasing activity among libraries and archives at large for preservation, browsi...
162
click to vote
JNW
2006
15 years 4 months ago
2006
-- Peer-to-peer systems and applications are distributed systems without any centralized control. P2P systems form the basis of several applications, such as file sharing systems a...
139
click to vote
ENTCS
2007
15 years 4 months ago
2007
Debugging by observing the evaluation of expressions and functions is a useful approach for finding bugs in lazy functional and functional logic programs. However, adding and rem...
154
click to vote
ENVSOFT
2007
15 years 4 months ago
2007
Groundwater long-term monitoring (LTM) is required to assess the performance of groundwater remediation and human being health risk at post-closure sites where groundwater contami...