27756 search results - page 5173 / 5552 » Process Query Systems |
133
click to vote
FORTE
2004
15 years 5 months ago
2004
Witnesses and counterexamples produced by model checkers provide a very useful source of diagnostic information. They are usually returned in the form of a single computation path ...
142
click to vote
GEOINFO
2004
15 years 5 months ago
2004
: As the geographic information system (GIS) community grows, more and more people needs to share geographic information. As modern GIS data is stored in geographic databases their...
126
click to vote
IADIS
2004
15 years 5 months ago
2004
The complexity of preserving the web is becoming one of the most important information and communication media. While the quantity of digital resources available through the web i...
142
click to vote
IADIS
2004
15 years 5 months ago
2004
This paper presents speculative TCP connection admission, a mechanism for improving sub-optimal request distribution decisions in cluster-based servers. Overloaded server nodes in...
114
click to vote
IADIS
2004
15 years 5 months ago
2004
This paper describes a different approach to teaching a web-applications course. Rather than lecturing, the instructor organizes material and serves as a guide as students work th...