92 search results - page 15 / 19 » An Executable UML with OCL-based Action Semantics Language |
82
Voted
AI
2011
Springer
14 years 5 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...
115
Voted
BIRTHDAY
2004
Springer
15 years 3 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...
94
Voted
SAC
2003
ACM
15 years 3 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...
104
Voted
APLAS
2006
ACM
15 years 4 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...
105
click to vote
PVLDB
2010
14 years 8 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...