3575 search results - page 401 / 715 » Modeling Concurrency with Geometry |
175
click to vote
ICPADS
1996
IEEE
15 years 10 months ago
1996
IEEE
A new multiagent programmingparadigm based on the transactional logic model' is developed. This paradigm enables us to construct a Distributed agent transactional program (DA...
141
click to vote
INFOCOM
1993
IEEE
15 years 10 months ago
1993
IEEE
In [18], we propose a framework to study a stream of trafic or message as it is transferred over an ATM connection. A message is modeled as a deierministic fluid flow, and an ATM ...
166
click to vote
VCHCI
1993
15 years 10 months ago
1993
The interaction history of a document can be modelled as a tree of command objects. This model does not only support recovery (undo/redo), but is also suitable for cooperation betw...
170
click to vote
ESOP
2009
Springer
15 years 10 months ago
2009
Springer
We present an algebraic treatment of exception handlers and, more generally, introduce handlers for other computational effects representable by an algebraic theory. These include ...
222
click to vote
COORDINATION
2006
Springer
15 years 10 months ago
2006
Springer
Bigraphical Reactive Systems have been proposed as a meta model for global ubiquitous computing generalising process calculi for mobility such as the pi-calculus and the Mobile Amb...