Sciweavers

805 search results - page 121 / 161
» On the Semantics of Conditional Commitment
Sort
View
GISCIENCE
2008
Springer
130views GIS» more  GISCIENCE 2008»
15 years 5 months ago
Road Networks and Their Incomplete Representation by Network Data Models
Road networks, roads, and junctions are examples of natural language terms whose semantics can be described by affordances of their physical referents. In order to define affordanc...
Simon Scheider, Werner Kuhn
CORR
2010
Springer
106views Education» more  CORR 2010»
15 years 4 months ago
Temporal Logics on Words with Multiple Data Values
The paper proposes and studies temporal logics for attributed words, that is, data words with a (finite) set of (attribute,value)-pairs at each position. It considers a basic logi...
Ahmet Kara, Thomas Schwentick, Thomas Zeume
DSS
2006
93views more  DSS 2006»
15 years 4 months ago
Merging workflows: A new perspective on connecting business processes
This paper describes the concept of workflow merge and methods for merging business processes. We grouped merges in four categories according to the type of merge: sequential, par...
Shuang Sun, Akhil Kumar, John Yen
ECEASST
2006
95views more  ECEASST 2006»
15 years 4 months ago
Towards Translating Graph Transformation Approaches by Model Transformations
Abstract. Recently, many researchers are working on semantics preserving model transformation. In the field of graph transformation one can think of translating graph grammars writ...
Frank Hermann, Harmen Kastenberg, Tony Modica
ENTCS
2006
158views more  ENTCS 2006»
15 years 4 months ago
Connector Colouring I: Synchronisation and Context Dependency
Reo is a coordination model based on circuit-like connectors which coordinate components through the interplay of data flow, synchronisation and mutual exclusion, state, and conte...
Dave Clarke, David Costa, Farhad Arbab