7557 search results - page 60 / 1512 » Modeling Timed Concurrent Systems |
OTM
2005
Springer
15 years 6 months ago
2005
Springer
In this paper, we describe how ORM is extended, and combined with Concurrent Task Trees (CTT) to model the content as well as the functionality of a web system in the web design me...
100
click to vote
LICS
2006
IEEE
15 years 7 months ago
2006
IEEE
We motivate and study a generic relaxation of correctness of reactive and concurrent systems with respect to a temporal specification. We define a system to be fairly correct if...
108
click to vote
LFP
1994
15 years 2 months ago
1994
We have implemented a concurrent copying garbage collector that uses replicatinggarbage collection. In our design, the client can continuously access the heap during garbage colle...
CERA
2006
15 years 1 months ago
2006
er.sagepub.com/cgi/content/abstract/14/4/283 The online version of this article can be found at: Published by: http://www.sagepublications.com can be found at:Concurrent Engineerin...
171
click to vote
FMSB
2008
15 years 2 months ago
2008
We introduce bounded asynchrony, a notion of concurrency tailored to the modeling of biological cell-cell interactions. Bounded asynchrony is the result of a scheduler that bounds ...