Sciweavers

2106 search results - page 67 / 422
» Operational Semantics for DyLPs
Sort
View
ENTCS
2006
175views more  ENTCS 2006»
13 years 10 months ago
A Semantical Framework for the Orchestration and Choreography of Web Services
Web Services are software services that can be advertised by providers and invoked by customers using Web technologies. This concept is currently carried further to address the co...
Claus Pahl, Yaoling Zhu
KI
2006
Springer
13 years 10 months ago
Agent Logics as Program Logics: Grounding KARO
Abstract. Several options are available to relate agent logics to computational agent systems. Among others, one can try to find useful executable fragments of an agent logic or us...
Koen V. Hindriks, John-Jules Ch. Meyer
XIMEP
2005
ACM
155views Database» more  XIMEP 2005»
14 years 3 months ago
Deep Set Operators for XQuery
There are three set operators defined in XQuery, namely union, intersect and except. They take node sequences as operands, in which each node is identified by its node-ID and tr...
Bo Luo, Dongwon Lee, Wang-Chien Lee, Peng Liu
IDEAS
2003
IEEE
73views Database» more  IDEAS 2003»
14 years 3 months ago
Operations on Metamodels in the Context of a UML-Based Metamodeling Architecture
In the context of information system engineering, we propose a four-layer metamodeling architecture with a comprehensive set of operations on metamodels. Our architecture enables ...
Marie-Noëlle Terrasse, George Becker, Marinet...
DEXAW
1997
IEEE
125views Database» more  DEXAW 1997»
14 years 2 months ago
Can we Rely on SQL?
It is important for any data language that it enables many people to derive correct information from a databases in a simple, effective way with predictable performance. In an ana...
J. H. ter Bekke