Sciweavers

5904 search results - page 127 / 1181
» Requirements for a Composition Language
Sort
View
GG
2004
Springer
15 years 9 months ago
Composition of Path Transductions
We propose to study two infinite graph transformations that we respectively call bounded and unbounded path transduction. These graph transformations are based on path substitutio...
Tanguy Urvoy
IPPS
2002
IEEE
15 years 8 months ago
An Approach to Compositional Model Checking
A natural trend in most of the engineering disciplines is the construction of systems from components. This has the potential to reduce costs and increase reliability, provided th...
Hector A. Andrade, Beverly Sanders
124
Voted
DLOG
1998
15 years 4 months ago
Learning Composite Concepts
This paper proposes a framework to learn concepts from di erent kinds of observations. We de ne a language to describe meta-concepts, that represent the sets of possible concepts ...
Patrick Lambrix, Pierpaolo Larocchia
140
Voted
WWW
2002
ACM
16 years 4 months ago
Simulation, verification and automated composition of web services
Web services -- Web-accessible programs and devices ? are a key application area for the Semantic Web. With the proliferation of Web services and the evolution towards the Semanti...
Srini Narayanan, Sheila A. McIlraith
126
Voted
APLAS
2004
ACM
15 years 9 months ago
Pointcuts as Functional Queries
Most aspect-oriented languages provide only a fixed, built-in set of pointcut designators whose denotation is only described informally. As a consequence, these languages do not p...
Michael Eichberg, Mira Mezini, Klaus Ostermann