Sciweavers

4615 search results - page 236 / 923
» Virtual Classes and Their Implementation
Sort
View
SAC
2008
ACM
15 years 6 months ago
UML-based design test generation
In this paper we investigate and propose a fully automated technique to perform conformance checking of Java implementations against UML class diagrams. In our approach, we reused...
Waldemar Pires, João Brunet, Franklin Ramal...
TOOLS
2009
IEEE
16 years 1 months ago
PyGirl: Generating Whole-System VMs from High-Level Prototypes Using PyPy
Abstract. Virtual machines (VMs) emulating hardware devices are generally implemented in low-level languages for performance reasons. This results in unmaintainable systems that ar...
Camillo Bruni, Toon Verwaest
SWWS
2008
15 years 8 months ago
Metrics for Evaluating the Semantic Implications of Changes in Evolving Ontologies
We propose a set of metrics for measuring the semantic implications of changes during ontology evolution. Our metrics focus on the changes of classes and associated axioms or annot...
Chuming Chen, Manton M. Matthews
UIST
1993
ACM
15 years 10 months ago
VB2: An Architecture for Interaction in Synthetic Worlds
This paper describes the VB2 architecture for the construction of three-dimensional interactive applications. The system's state and behavior are uniformly represented as a n...
Enrico Gobbetti, Jean-Francis Balaguer, Daniel Tha...
DC
2010
15 years 6 months ago
Refined quorum systems
It is considered good distributed computing practice to devise object implementations that tolerate contention, periods of asynchrony and a large number of failures, but perform f...
Rachid Guerraoui, Marko Vukolic