1201 search results - page 156 / 241 » Exact Analysis of Exact Change |
IEEEAMS
2003
IEEE
14 years 3 months ago
2003
IEEE
Service morphing is a set of techniques used to continuously meet an application’s Quality of Service (QoS) needs, in the presence of run-time variations in service locations, p...
COCOON
2001
Springer
14 years 2 months ago
2001
Springer
We present a simple space saving trick that applies to many previous algorithms for transitive closure and shortest paths in dynamic directed graphs. In these problems, an update c...
ADL
2000
Springer
14 years 2 months ago
2000
Springer
Digital libraries are a core information technology. When the stored data is complex, e.g. high-resolution images or molecular protein structures, simple query types like the exac...
HOTOS
1999
IEEE
14 years 2 months ago
1999
IEEE
Today's fast-growing data-intensive network services place heavy demands on the backend servers that support them. This paper introduces ISTORE, an intelligent server archite...
KBSE
1999
IEEE
14 years 2 months ago
1999
IEEE
Deductive retrieval and deductive synthesis are two conceptually closely related software development methods which apply theorem proving techniques to support the construction of...