Sciweavers

2062 search results - page 149 / 413
» Hardware Objects for Java
Sort
View
ECMAST
1998
Springer
96views Multimedia» more  ECMAST 1998»
14 years 1 months ago
An Execution Architecture for Synchronized Multimedia Presentations
We have de ned an execution architecture for playing back synchronized multimedia documents. We suppose that such documents i ed by means of several abstractions including hypertim...
Franck Rousseau, Andrzej Duda
WSCG
2001
107views more  WSCG 2001»
13 years 10 months ago
Interaction Approach for Digital Video Based Storytelling
This paper shows an approach for a storytelling oriented interaction on digital video. All the interaction capabilities of the system are driven by the video context and therefore...
Norbert Braun
ENTCS
2002
141views more  ENTCS 2002»
13 years 9 months ago
Graph Based Debugging with Fujaba
This work is part of the Fujaba project. The Fujaba project aims to use the Unified Modeling Language UML as a programmed graph rewriting language. This paper describes the new gr...
Leif Geiger, Albert Zündorf
SAS
2010
Springer
139views Formal Methods» more  SAS 2010»
13 years 7 months ago
Interprocedural Analysis with Lazy Propagation
We propose lazy propagation as a technique for flow- and context-sensitive interprocedural analysis of programs with objects and first-class functions where transfer functions ma...
Simon Holm Jensen, Anders Møller, Peter Thi...
OOPSLA
2004
Springer
14 years 2 months ago
A practical type system and language for reference immutability
This paper describes a type system that is capable of expressing and enforcing immutability constraints. The specific constraint exis that the abstract state of the object to whi...
Adrian Birka, Michael D. Ernst