3040 search results - page 543 / 608 » Synergetic Tool Environments |
106
click to vote
FDG
2009
ACM
15 years 2 months ago
2009
ACM
The tremendous advances in gaming technologies over the past decade have focused primarily on the physical realism of the game environment and game characters, and the complexity ...
VR
1999
IEEE
15 years 2 months ago
1999
IEEE
The purpose of Project Pioneer is to develop an exploratory robot capable of creating a three-dimensional photo-realistic map of the inside of the damaged Chornobyl Nuclear Reacto...
JAVA
1999
Springer
15 years 2 months ago
1999
Springer
CT With the development of dynamic compilers for Java, Java’s performance promises to rival that of equivalent C/C++ binary executions. This should ensure that Java will become t...
VLDB
1999
ACM
15 years 2 months ago
1999
ACM
A data-driven approach can be fruitfully used in the speci cation and automatic generation of data-intensive Web applications, i.e., applications which make large amounts of data ...
TACAS
1998
Springer
15 years 2 months ago
1998
Springer
In this paper, we report on an application of the validation and veri cation tool kit Uppaal in the design and analysis of a prototype gear controller, carried out in a joint proje...