1490 search results - page 146 / 298 » Interactive semantics |
137
click to vote
ENTCS
2010
14 years 11 months ago
2010
We describe a true-concurrent approach for managing dependencies between distributed and concurrent coordinator components of a long-running transaction. In previous work we have ...
167
click to vote
SIGMOD
2008
ACM
16 years 2 months ago
2008
ACM
Provenance, or records of the origin, context, custody, derivation or other historical information about a (digital) object, has recently become an important research topic in a n...
114
Voted
ATAL
2007
Springer
15 years 8 months ago
2007
Springer
This paper presents the ARTS (Agent-oriented Robust Transactional System) model, which applies transaction concepts to provide agent developers with high-level support for agent s...
185
click to vote
CONCUR
2001
Springer
15 years 6 months ago
2001
Springer
In order to model the behaviour of open concurrent systems by means of Petri nets, we introduce open Petri nets, a generalization of the ordinary model where some places, designate...
115
click to vote
ENTCS
2007
15 years 2 months ago
2007
The use of process calculi to represent biological systems has led to the design of different formalisms such as brane calculi and κ-calculus. Both have proved to be useful to m...