4615 search results - page 267 / 923 » Virtual Classes and Their Implementation |
166
click to vote
INTERACT
2003
15 years 8 months ago
2003
: In this paper we report on the progress of an international EU/IMS research project to develop an Immersive free-form Design Application using Virtual Reality and Haptic Immersio...
176
click to vote
CCS
1998
ACM
15 years 10 months ago
1998
ACM
This paper gives a mathematical specification the Java Virtual Machine (JVM) bytecode verifier. The specification is an axiomatic description of the verifier that makes precise su...
145
click to vote
CSDA
2007
15 years 6 months ago
2007
The Bayes factor is a useful tool for evaluating sets of inequality and about equality constrained models. In the approach described, the Bayes factor for a constrained model with...
198
click to vote
VEE
2006
ACM
16 years 17 days ago
2006
ACM
The progress towards programming methodologies that simplify the work of the programmer involves automating, whenever possible, activities that are secondary to the main task of d...
189
click to vote
JVM
2004
15 years 8 months ago
2004
e a new operating system abstraction for partitioning systems, allowing multiple applications to run in isolation from each other on the same physical hardware. This isolation prev...