2523 search results - page 331 / 505 » Objective: In Minimum Context |
140
click to vote
DSN
2000
IEEE
15 years 9 months ago
2000
IEEE
This paper describes the OFTT (OLE Fault Tolerance Technology), a fault tolerance middleware toolkit running on the Microsoft Windows NT operating system that provides required fa...
157
click to vote
DEXAW
1999
IEEE
15 years 9 months ago
1999
IEEE
ing spatio-temporal data as abstract data types into already existing data models is a promising approach to creating spatio-temporal query languages. In this context, an importan...
151
click to vote
ERCIMDL
1998
Springer
15 years 9 months ago
1998
Springer
In this paper we discuss the construction of an automated information system for a collection of visual reproductions of art objects. Special attention is payed to the economical a...
163
Voted
TYPES
1998
Springer
15 years 9 months ago
1998
Springer
Investigating soundness and completeness of verification calculi for imperative programming languages is a challenging task. Incorrect results have been published in the past. We t...
136
click to vote
WETICE
1997
IEEE
15 years 9 months ago
1997
IEEE
This paper is concerned with how collaborative virtual environments can be structured in order to enable greater scalability and yet maintain a richness of communication. Based on...