Sciweavers

1052 search results - page 24 / 211
» Foundations for Virtual Types
Sort
View
POPL
1998
ACM
13 years 11 months ago
A Type System for Java Bytecode Subroutines
Java is typically compiled into an intermediate language, JVML, that is interpreted by the Java Virtual Machine. Because mobile JVML code is not always trusted, a bytecode verifi...
Raymie Stata, Martín Abadi
WSCG
2003
171views more  WSCG 2003»
13 years 9 months ago
A Task Definition Language for Virtual Agents
The use of Virtual Environments as a user interface can be important for certain types of applications, especially in the fields of education and entertainment. These synthetic wo...
Spyros Vosinakis, Themis Panayiotopoulos
VRST
2006
ACM
14 years 1 months ago
Media productions for a dome display system
As the interest of the public for new forms of media grows, museums and theme parks select real time Virtual Reality productions as their presentation medium. Based on threedimens...
Athanasios Gaitatzes, Georgios Papaioannou, Dimitr...
DATE
2002
IEEE
86views Hardware» more  DATE 2002»
14 years 15 days ago
A Layered, Codesign Virtual Machine Approach to Modeling Computer Systems
By using a macro/micro state model we show how assumptions on the resolution of logical and physical timing of computation in computer systems has resulted in design methodologies...
JoAnn M. Paul, Donald E. Thomas
WSCG
2003
122views more  WSCG 2003»
13 years 9 months ago
Using Registration, Calibration, and Robotics to Build a More Accurate Virtual Reality Simulation for Astronaut Training and Tel
Computer simulation of surgery and scientific experiments help in preparation, training, and assessment. These benefits can be further extended with the integration of robotics fo...
Anil Menon, B. Barnes, R. Mills, Cynthia Bruyns, A...