3836 search results - page 30 / 768 » Semantics of Database Transformations |
111
Voted
PLILP
1995
Springer
15 years 5 months ago
1995
Springer
We use Girard's linear logic (LL) to produce a semantics for Gamma, a multiset transformation language. The semantics improves on the existing structured operational semantics...
APLAS
2006
ACM
15 years 8 months ago
2006
ACM
We give an elementary semantics to an effect system, tracking read and write effects by using relations over a standard extensional semantics for the original language. The seman...
134
click to vote
GCC
2005
Springer
15 years 7 months ago
2005
Springer
The Resource Space Model RSM and Semantic Link Network SLN are models of future interconnection environment, and the combination of them forms a rich semantic layer for the next-ge...
122
click to vote
CW
2005
IEEE
15 years 4 months ago
2005
IEEE
This paper explores the use of ARIS for Semantic Web Service development. It proposes an ARIS-based transformation methodology for the automatic specification and development of S...
121
click to vote
BXML
2003
15 years 3 months ago
2003
: The Web service architecture promises to be highly dynamic. The idea is that a service requester can discover a needed service at runtime. Due to the fact that this discovery pro...