14285 search results - page 2713 / 2857 » Web Based Management |
135
click to vote
ICCL
1998
IEEE
15 years 8 months ago
1998
IEEE
We present a design and implementation of transactions and general-purpose persistence for Java. These additions allow Java programmers to manipulate any Java object using transac...
215
click to vote
VLDB
1998
ACM
15 years 8 months ago
1998
ACM
Many applications require the management of spatial data. Clustering large spatial databases is an important problem which tries to find the densely populated regions in the featu...
144
click to vote
AIME
1997
Springer
15 years 8 months ago
1997
Springer
: Clinical guidelines reuse existing clinical procedural knowledge while leaving room for flexibility by the care provider applying that knowledge. Guidelines can be viewed as gene...
189
click to vote
SIGIR
1996
ACM
15 years 8 months ago
1996
ACM
Information explosion across the Internet and elsewhere offers access to an increasing number of document collections. In order for users to e ectively access these collections, i...
136
click to vote
PLDI
2010
ACM
15 years 8 months ago
2010
ACM
Verified compilers, such as Leroy's CompCert, are accompanied by a fully checked correctness proof. Both the compiler and proof are often constructed with an interactive proo...