1057 search results - page 82 / 212 » its 1998 |
SAFECOMP
1998
Springer
14 years 2 months ago
1998
Springer
The main focus of this paper is the problem of ensuring safety properties such as timeliness in safety critical systems. We introduce the OASIS model and its associated techniques ...
SIGADA
1998
Springer
14 years 2 months ago
1998
Springer
Despite substantial research on methods and tools for testing reusable modules, little help is available for the tester in the eld. Commercial tools for system testing are widely ...
SMILE
1998
Springer
14 years 2 months ago
1998
Springer
It has been known since the work of Carlsson and Weinshall that there is a dualization principle that allows one to interchange the role of points being viewed by several cameras ...
VLDB
1998
ACM
14 years 2 months ago
1998
ACM
This paper describes the external forces that motivate financial institutions to collect, aggregate, analyze, and mine data so that it can be transformed into information, one of ...
VLDB
1998
ACM
14 years 2 months ago
1998
ACM
This paper describes a massively parallel object relational (O/R) database used in an advanced development program to create a comprehensive medical information system called the ...