2173 search results - page 40 / 435 » An operational semantics for skeletons |
PACT
2005
Springer
14 years 1 months ago
2005
Springer
Agent technology is often claimed to be the most natural approach for automating e-commerce business processes. Despite these claims, up till now, the most successful e-commerce sy...
BILDMED
2007
13 years 9 months ago
2007
In some registration applications additional user knowledge is available, which can improve and accelerate the registration process, especially for non-rigid registration. This is ...
DFG
2004
Springer
14 years 1 months ago
2004
Springer
SKG
2005
IEEE
14 years 1 months ago
2005
IEEE
In this paper, we propose the Semantic Information Model for Digital Libraries - DLOnto based on the theory of the Semantic Web, and give the formalized definition of and relative ...
CP
2005
Springer
13 years 9 months ago
2005
Springer
One of the attractive features of the Constraint Handling Rules (CHR) programming language is its declarative semantics where rules are read as formulae in first-order predicate l...