3268 search results - page 358 / 654 » Structured Service Composition |
181
Voted
FOSSACS
2005
Springer
16 years 5 days ago
2005
Springer
Separation logic is a spatial logic for reasoning locally about heap structures. A decidable fragment of its assertion language was presented in [1], based on a bounded model prope...
174
click to vote
FASE
2004
Springer
16 years 1 days ago
2004
Springer
Abstract. To be able to build systems by composing a variety of components dynamically, adding and removing as required, is desirable. Unfortunately systems with evolving architect...
185
click to vote
SIGMOD
1999
ACM
15 years 11 months ago
1999
ACM
We address the problem of query rewriting for TSL, a language for querying semistructured data. We develop and present an algorithm that, given a semistructured query q and a set ...
144
Voted
KDD
1998
ACM
15 years 11 months ago
1998
ACM
In this workweproposea generalisation of the notion of associationrule in the contextof flat transactions to that of a compositeassociation rule in the context of a structured dir...
186
click to vote
ECBS
2004
IEEE
15 years 10 months ago
2004
IEEE
Model Integrated Computing employs domainspecific modeling languages for the design of Computer Based Systems and automatically generates their implementation. These system models...