92 search results - page 15 / 19 » An Executable UML with OCL-based Action Semantics Language |
140
click to vote
AI
2011
Springer
14 years 11 months ago
2011
Springer
Logical filtering is the process of updating a belief state (set of possible world states) after a sequence of executed actions and perceived observations. In general, it is intr...
181
click to vote
BIRTHDAY
2004
Springer
15 years 10 months ago
2004
Springer
CSP was originally introduced as a parallel programming language in which sequential imperative processes execute concurrently and communicate by synchronized input and output. The...
149
click to vote
SAC
2003
ACM
15 years 9 months ago
2003
ACM
Based on the limitations raised by existing approaches in the context of the Semantic Web, we propose a formalism, Web Sources Global Ontology (WebSOGO), a data meta-model for the...
157
click to vote
APLAS
2006
ACM
15 years 10 months ago
2006
ACM
Abstract. We propose a new join point model for aspect-oriented programming (AOP) languages. In most AOP languages including AspectJ, a join point is a time interval of an action i...
159
click to vote
PVLDB
2010
15 years 2 months ago
2010
This is a demonstration of data coordination in a peer data management system through the employment of distributed triggers. The latter express in a declarative manner individual...