19 search results - page 2 / 4 » Efficient Dynamics Modeling for VRML and Java |
106
click to vote
CGA
1999
14 years 9 months ago
1999
emsintovirtualenvironments,whileabstracting the modeling process as much as possible. To achieve efficiency,weconcentrateoncullingdynamicalsystems: if the system is not in view, we...
CAV
2004
Springer
15 years 1 months ago
2004
Springer
JNuke is a framework for verification and model checking of Java programs. It is a novel combination of run-time verification, explicit-state model checking, and counter-example ex...
DSRT
2002
IEEE
15 years 2 months ago
2002
IEEE
The paper describes an experimental web-based environment for teaching and testing. The application named Nautilus has been developed using Virtual Reality Modeling Language (VRML...
APLAS
2008
ACM
14 years 11 months ago
2008
ACM
Abstract. Symbolic execution is a flexible and powerful, but computationally expensive technique to detect dynamic behaviors of a program. In this paper, we present a context-sensi...
ECOOP
2006
Springer
14 years 11 months ago
2006
Springer
Real-time systems are notoriously difficult to design and implement, and, as many real-time problems are safety-critical, their solutions must be reliable as well as efficient and ...