1922 search results - page 85 / 385 » Systems biology, models, and concurrency |
100
click to vote
TACAS
2010
Springer
15 years 8 months ago
2010
Springer
Abstract. We present Boom, a comprehensive analysis tool for Boolean programs. We focus in this paper on model-checking non-recursive concurrent programs. Boom implements a recent ...
118
click to vote
CL
2000
Springer
15 years 5 months ago
2000
Springer
Abstract. We propose an extension of concurrent constraint programming with primitives for process migration within a hierarchical network, and we study its semantics. To this purp...
WSCG
2001
15 years 3 months ago
2001
In this paper we will be describing a new animation architecture and its implementation in our system LIVE. This model introduces a new blending layer approach which uses several ...
135
click to vote
TOPNOC
2008
15 years 1 months ago
2008
Process Algebras are formalisms for modelling concurrent systems that permit mathematical reasoning with respect to a set of desired properties. TAPAs is a tool that can be used to...
108
click to vote
DCOSS
2006
Springer
15 years 5 months ago
2006
Springer
Abstract. Resource constrained systems often are programmed using an eventbased model. Many applications do not lend themselves well to an event-based approach, but preemptive mult...