Sciweavers

3645 search results - page 61 / 729
» Implementing mapping composition
Sort
View
CAISE
1999
Springer
15 years 3 months ago
CPAM, A Protocol for Software Composition
Software composition is critical for building large-scale applications. In this paper, we consider the composition of components that are methods offered by heterogeneous, autonomo...
Laurence Melloul, Dorothea Beringer, Neal Sample, ...
FMSD
2008
110views more  FMSD 2008»
14 years 11 months ago
Automatic symbolic compositional verification by learning assumptions
Abstract Compositional reasoning aims to improve scalability of verification tools by reducing the original verification task into subproblems. The simplification is typically base...
Wonhong Nam, P. Madhusudan, Rajeev Alur
JSS
2008
93views more  JSS 2008»
14 years 11 months ago
A framework for QoS-aware binding and re-binding of composite web services
QoS-aware dynamic binding of composite services provides the capability of binding each service invocation in a composition to a service chosen among a set of functionally equival...
Gerardo Canfora, Massimiliano Di Penta, Raffaele E...
TOG
2002
132views more  TOG 2002»
14 years 11 months ago
A lighting reproduction approach to live-action compositing
We describe a process for compositing a live performance of an actor into a virtual set wherein the actor is consistently illuminated by the virtual environment. The Light Stage u...
Paul E. Debevec, Andreas Wenger, Chris Tchou, Andr...
SOCO
2010
Springer
14 years 9 months ago
Event-Specific Software Composition in Context-Oriented Programming
Context-oriented programming (COP) introduces dedicated abstractions for the modularization and dynamic composition of crosscutting context-specific functionality. While existing C...
Malte Appeltauer, Robert Hirschfeld, Hidehiko Masu...