3207 search results - page 14 / 642 » A Semantics for HTN Methods |
ESWA
2008
13 years 10 months ago
2008
Enterprises integration has recently gained great attentions, as never before. The paper deals with an essential activity enabling seamless enterprises integration, that is, a sim...
ENTCS
2007
13 years 9 months ago
2007
Bialgebraic semantics, invented a decade ago by Turi and Plotkin, is an approach to formal reasoning about well-behaved structural operational specifications. An extension of alg...
ICWE
2004
Springer
14 years 3 months ago
2004
Springer
Current Web Engineering methods develop "closed" web applications from conceptual models. This fact makes difficult the integration and the interoperability of different ...
VLDB
1991
ACM
14 years 1 months ago
1991
ACM
A model capturing the data manipulation capabilities of a large class of methods in ohjectoriented databases is proposed and investsigated. The model uses a deterministic, paralle...
IJCAI
2003
13 years 11 months ago
2003
The promise of dynamic selection of business services and automatic integration of applications written to Web Services standards is yet to be realized. This is partially attribut...