Sciweavers

539 search results - page 5 / 108
» The Semantic Gap of Formalized Meaning
Sort
View
EDOC
2005
IEEE
15 years 3 months ago
Semantics of UML 2.0 Activity Diagram for Business Modeling by Means of Virtual Machine
— The paper proposes a more formalized definition of UML 2.0 Activity Diagram semantics. A subset of activity diagram constructs relevant for business process modeling is conside...
Valdis Vitolins, Audris Kalnins
WWW
2007
ACM
15 years 10 months ago
Bridging the gap between OWL and relational databases
Schema statements in OWL are interpreted quite differently from analogous statements in relational databases. If these statements are meant to be interpreted as integrity constrai...
Boris Motik, Ian Horrocks, Ulrike Sattler
JSW
2006
71views more  JSW 2006»
14 years 9 months ago
Semantics and Extensions of WS-Agreement
When having repeated interactions with a service provider, a service consumer might desire guarantees on the delivery of the service. These guarantees involve both functional and n...
Ganna Frankova, Daniela Malfatti, Marco Aiello
AMSTERDAM
2009
14 years 7 months ago
A Formal Semantics for Iconic Spatial Gestures
In this paper I describe a formal semantics for iconic spatial gestures. My claim is that the meaning of iconic gestures can be captured with an appropriate mathematical theory of ...
Gianluca Giorgolo
CONTEXT
2005
Springer
15 years 3 months ago
Gaps between rules and uses of the road
Regarding the high rate of transgressions of the Highway Code, the paper is about how do road users agree to be exposed to such risks? We consider that this issue must be addressed...
Mary Bazire, Patrick Brézillon, Brigitte Ca...