40 search results - page 4 / 8 » concur 2007 |
TAMODIA
2007
14 years 11 months ago
2007
Many model-based approaches for user interface design start from a task model, for which the ConcurTaskTrees notation is frequently used. Despite this popularity and the importance...
121
click to vote
CONCUR
2011
Springer
13 years 9 months ago
2011
Springer
Probabilistic nondeterministic processes are commonly modeled as probabilistic LTSs (PLTSs, a.k.a. probabilistic automata). A number of logical characterizations of the main behavi...
ALIFE
2002
14 years 9 months ago
2002
This paper gives details of Squirm3, a new artificial environment based on a simple physics and chemistry that supports self-replicating molecules somewhat similar to DNA. The sel...
CONCUR
2007
Springer
15 years 4 months ago
2007
Springer
Abstract. We propose a new operational model for shared variable concurrency, in the context of a concurrent, higher-order imperative language `a la ML. In our model the scheduling...
CONCUR
2007
Springer
15 years 4 months ago
2007
Springer
Dπ is a simple distributed extension of the π-calculus in which agents are explicitly located, and may use an explicit migration construct to move between locations. In this pap...