Sciweavers

605 search results - page 25 / 121
» Java Multi-Method Framework
Sort
View
PRESENCE
2002
104views more  PRESENCE 2002»
13 years 8 months ago
Integrating 2-D Video Actors into 3-D Augmented-Reality Systems
In this paper, we discuss the integration of 2-D video actors into 3-D augmentedreality (AR) systems. In the context of our research on narrative forms for AR, we have found ourse...
Blair MacIntyre, Marco Lohse, Jay David Bolter, Em...
IWPC
2009
IEEE
14 years 3 months ago
Practical static analysis for inference of security-related program properties
We present a static analysis framework for inference of security-related program properties. Within this framework we design and implement ownership, immutability and information ...
Yin Liu, Ana Milanova
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...
IADIS
2003
13 years 10 months ago
A Light Web-Oriented Business Framework
In this paper, we describe the development of a framework for building J2EE Web-centric business applications, that is, middle-size applications organized around Web components. T...
Davide Brugali, Giuseppe Psaila, Franco Guidi-Pola...
AGTIVE
2007
Springer
14 years 3 months ago
The EMF Model Transformation Framework
We present the EMF Model Transformation framework (EMT), which supports the rule-based modification of EMF models. Model transformation rules are defined graphically and compiled...
Enrico Biermann, Karsten Ehrig, Claudia Ermel, Chr...