Sciweavers

1052 search results - page 29 / 211
» Foundations for Virtual Types
Sort
View
127
Voted
ER
2008
Springer
110views Database» more  ER 2008»
15 years 4 months ago
What's in a Relationship: An Ontological Analysis
In a series of publications, we have proposed a foundational system of ontological categories which has been successfully used to evaluate and improve the quality of conceptual mod...
Giancarlo Guizzardi, Gerd Wagner
167
Voted
ESOP
2005
Springer
15 years 8 months ago
Towards a Type System for Analyzing JavaScript Programs
JavaScript is a popular language for client-side web scripting. It has a dubious reputation among programmers for two reasons. First, many JavaScript programs are written against a...
Peter Thiemann
130
Voted
NGC
2008
Springer
149views Communications» more  NGC 2008»
15 years 2 months ago
A New Type System for JVM Lock Primitives
A bytecode verifier for the Java virtual machine language (JVML) statically checks that bytecode does not cause any fatal error. However, the present verifier does not check correc...
Futoshi Iwama, Naoki Kobayashi
118
Voted
TRIDENTCOM
2010
IEEE
15 years 17 days ago
Experimental Evaluation of OpenVZ from a Testbed Deployment Perspective
A scalable approach to building large scale experimentation testbeds involves multiplexing the system resources for better utilization. Virtualization provides a convenient means o...
Gautam D. Bhanage, Ivan Seskar, Yanyong Zhang, Dip...
SIGGRAPH
1996
ACM
15 years 6 months ago
The Virtual Cinematographer: A Paradigm for Automatic Real-Time Camera Control and Directing
This paper presents a paradigm for automatically generating complete camera specifications for capturing events in virtual 3D environments in real-time. We describe a fully implem...
Li-wei He, Michael F. Cohen, David Salesin