7557 search results - page 512 / 1512 » Modeling Timed Concurrent Systems |
165
click to vote
ASWEC
2007
IEEE
15 years 11 months ago
2007
IEEE
There is a growing demand for web applications to provide fair service to the highly concurrent requests. In this paper, we present an approach to addressing this requirement. Bas...
200
click to vote
BIOWIRE
2007
Springer
15 years 11 months ago
2007
Springer
Chemical computing models have been proposed since the 1980ies for expressing concurrent computations in elegant ways for shared memory systems. In this paper we look at the distri...
203
click to vote
FSTTCS
2000
Springer
15 years 10 months ago
2000
Springer
We propose an object-oriented calculus with internal concurrency and class-based inheritance that is built upon the join calculus. Method calls, locks, and states are handled in a...
167
click to vote
GG
2008
Springer
15 years 8 months ago
2008
Springer
Parallel and sequential independence are central concepts in the concurrency theory of the double pushout (dpo) approach to graph rewriting. However, so far those same notions were...
160
click to vote
ECEASST
2008
15 years 7 months ago
2008
: We study directed bigraph with negative ports, a bigraphical framework for representing models for distributed, concurrent and ubiquitous computing. With respect to previous vers...