537 search results - page 14 / 108 » tools 1999 |
TACAS
1999
Springer
15 years 2 months ago
1999
Springer
We present a theorem-prover based analysis tool for object-oriented database systems with integrity constraints. Object-oriented database specifications are mapped to higher-order...
GROUP
1999
ACM
15 years 2 months ago
1999
ACM
Oxymoron is a World Wide Web based knowledge capitalization and sharing tool that was conceived and developed by a multidisciplinary team, comprised of adult education and distrib...
PVM
1999
Springer
15 years 2 months ago
1999
Springer
Abstract. PVM is a succesfull programming environment for distributed computing in the languages C and Fortran. Recently several implementations of PVM for Java have been added, ma...
ICMCS
1999
IEEE
15 years 2 months ago
1999
IEEE
We describe the design and evaluation of CamWorks, a system that employs a video camera as a means of supporting capture from paper sources during reading and writing. The user ca...
INFOVIS
1999
IEEE
15 years 2 months ago
1999
IEEE
ct Constellation is a visualization system for the results of queries from the MindNet natural language semantic network. Constellation is targeted at helping MindNet's creato...