238 search results - page 25 / 48 » Compositional Proof Methods for Concurrency: A Semantic Appr... |
CGF
2006
14 years 9 months ago
2006
Composite images are synthesized from existing photographs by artists who make concept art, e.g., storyboards for movies or architectural planning. Current techniques allow an art...
CCS
2000
ACM
15 years 2 months ago
2000
ACM
We consider compositional properties of reactive systems that are secure in a cryptographic sense. We follow the wellknown simulatability approach, i.e., the specification is an ...
ICCV
2007
IEEE
15 years 11 months ago
2007
IEEE
We propose to use high-level visual information to improve illuminant estimation. Several illuminant estimation approaches are applied to compute a set of possible illuminants. Fo...
100
click to vote
ECLIPSE
2005
ACM
14 years 11 months ago
2005
ACM
In this paper we detail the design and implementation of an Eclipse plug-in for an integrated, model-based approach, to the engineering of web service compositions. The plug-in al...
JUCS
2008
14 years 9 months ago
2008
Abstract: Reuse of software entities such as components or Web services raise composition issues since, most of the time, they present mismatches in their interfaces. These mismatc...