6201 search results - page 1214 / 1241 » Implementation of Axiomatic Language |
ICS
2000
Tsinghua U.
14 years 2 days ago
2000
Tsinghua U.
From a software engineering perspective, the Java programming language provides an attractive platform for writing numerically intensive applications. A major drawback hampering i...
RTA
1995
Springer
14 years 1 days ago
1995
Springer
We use computational systems to express a completion with constraints procedure that gives priority to simpliļ¬cations. Computational systems are rewrite theories enriched by stra...
VLDB
1995
ACM
14 years 23 hour ago
1995
ACM
New demandsare put on query processing in Object-Oriented(00) databasesto provide efficient andrelationally completequery languages. A flexible 00 data model requires overloading ...
VRML
1995
ACM
14 years 23 hour ago
1995
ACM
Virtual environments (VEs) are a broad multidisciplinary research area that includes all aspects of computer science, virtual reality, virtual worlds, teleoperation and telepresenc...
SIGGRAPH
1991
ACM
14 years 4 hour ago
1991
ACM
We present an interactive modeling and animation system that facilitates the integration of a variety of simulation and animation paradigms. This system permits the modeling of di...