Sciweavers

130 search results - page 3 / 26
» A Transfer Model Using a Typed Feature Structure Rewriting S...
Sort
View
CGI
2006
IEEE
13 years 11 months ago
Skeleton-Driven Animation Transfer Based on Consistent Volume Parameterization
To edit or create the animation of a 3D character model has always been an important but time-consuming task, since the animator usually needs to set up the character’s skeleton,...
Yen-Tuo Chang, Bing-Yu Chen, Wan-Chi Luo, Jian-Bin...
DEBS
2007
ACM
13 years 9 months ago
Concepts and models for typing events for event-based systems
Event-based systems are increasingly gaining widespread attention for applications that require integration with loosely coupled and distributed systems for time-critical business...
Szabolcs Rozsnyai, Josef Schiefer, Alexander Schat...
POPL
1998
ACM
13 years 9 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
ATVA
2005
Springer
202views Hardware» more  ATVA 2005»
13 years 11 months ago
Model Checking Real Time Java Using Java PathFinder
Abstract. The Real Time Specification for Java (RTSJ) is an augmentation of Java for real time applications of various degrees of hardness. The central features of RTSJ are real t...
Gary Lindstrom, Peter C. Mehlitz, Willem Visser
VLDB
2002
ACM
110views Database» more  VLDB 2002»
13 years 5 months ago
Extending an ORDBMS: The StateMachine Module
Extensibility is one of the mayor benefits of object-relational database management systems. We have used this system property to implement a StateMachine Module inside an object-...
Wolfgang Mahnke, Christian Mathis, Hans-Peter Stei...