1156 search results - page 139 / 232 » Compositional Methods for Information-Hiding |
161
click to vote
IEEESCC
2009
IEEE
16 years 29 days ago
2009
IEEE
—Research in the field of semantic Web services aims at automating the discovery, selection, composition and management of Web services based on semantic descriptions. However, t...
145
click to vote
GEOS
2007
Springer
16 years 14 days ago
2007
Springer
Abstract. A workflow-driven ontology is an ontology that encodes disciplinespecific knowledge in the form of concepts and relationships and that facilitates the composition of serv...
171
click to vote
ICLP
2007
Springer
16 years 14 days ago
2007
Springer
Abstract. We present a framework for the declarative diagnosis of nondeterministic timed concurrent constraint programs. We present a denotational semantics based on a (continuous)...
177
click to vote
TACAS
2007
Springer
16 years 13 days ago
2007
Springer
Abstract. Our main objective is to combine partial-order methods with verification techniques for infinite-state systems in order to obtain efficient verification algorithms fo...
147
click to vote
CVPR
2006
IEEE
16 years 11 days ago
2006
IEEE
Images can be represented as the composition of multiple intrinsic component images, such as shading, albedo, and noise images. In this paper, we present a method for estimating i...