Sciweavers

494 search results - page 58 / 99
» A Framework for Synchronous Tele-Cooperation
Sort
View
APN
2007
Springer
15 years 4 months ago
History-Dependent Petri Nets
Most information systems that are driven by process models (e.g., workflow management systems) record events in event logs, also known as transaction logs or audit trails. We cons...
Kees M. van Hee, Alexander Serebrenik, Natalia Sid...
ICSE
2009
IEEE-ACM
15 years 2 months ago
A compositional approach to bidirectional model transformation
Bidirectional model transformation plays an important role in maintaining consistency between two models, and has many potential applications in software development, including mo...
Soichiro Hidaka, Zhenjiang Hu, Hiroyuki Kato, Keis...
PRESENCE
2002
104views more  PRESENCE 2002»
14 years 9 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...
SCP
1998
138views more  SCP 1998»
14 years 9 months ago
A Hierarchy of Constraint Systems for Data-Flow Analysis of Constraint Logic-Based Languages
Many interesting analyses for constraint logic-based languages are aimed at the detection of monotonic properties, that is to say, properties that are preserved as the computation...
Roberto Bagnara
ICSM
2009
IEEE
14 years 7 months ago
Co-evolution of source code and the build system
A build system breathes life into source code, as it configures and directs the construction of a software system from textual source code modules. Surprisingly, build languages a...
Bram Adams