603 search results - page 42 / 121 » A Formal Operational Semantics for SOFL |
133
click to vote
WWW
2003
ACM
16 years 2 months ago
2003
ACM
This paper presents the notion of Semantic Associations as complex relationships between resource entities. These relationships capture both a connectivity of entities as well as ...
101
click to vote
ER
2003
Springer
15 years 7 months ago
2003
Springer
Existing solutions to data and schema integration require user interaction/input to generate a data transformation between two different schemas. These approaches are not appropri...
111
click to vote
ECOOP
1999
Springer
15 years 6 months ago
1999
Springer
We develop an imperative calculus that provides a formal model for both single and mixin inheritance. By introducing classes and mixins as the basic object-oriented constructs in a...
SEMWEB
2007
Springer
15 years 8 months ago
2007
Springer
The ability to compute the differences that exist between two RDF models is an important step to cope with the evolving nature of the Semantic Web (SW). In particular, RDF Deltas c...
152
click to vote
CORR
2011
Springer
14 years 9 months ago
2011
Springer
The framework of psi-calculi extends the pi-calculus with nominal datatypes for data structures and for logical assertions and conditions. These can be transmitted between processe...