3575 search results - page 187 / 715 » Modeling Concurrency with Geometry |
152
click to vote
APSEC
2002
IEEE
15 years 10 months ago
2002
IEEE
In multi-tier enterprise systems, application servers are key components to implement business logic and provide services. To support a large number of simultaneous accesses from ...
148
click to vote
SFM
2007
Springer
15 years 11 months ago
2007
Springer
Stochastic performance models provide a powerful way of capturing and analysing the behaviour of complex concurrent systems. Traditionally, performance measures for these models ar...
214
Voted
CONCUR
2001
Springer
15 years 9 months ago
2001
Springer
In order to model the behaviour of open concurrent systems by means of Petri nets, we introduce open Petri nets, a generalization of the ordinary model where some places, designate...
141
click to vote
ICCAD
1996
IEEE
15 years 9 months ago
1996
IEEE
We give a denotational framework (a "meta model") within which certain properties of models of computation can be understood and compared. It describes concurrent proces...
143
Voted
ENTCS
2007
15 years 5 months ago
2007
We describe a programme of research in resource semantics, concurrency theory, bunched logic, and stochastic processes, as applied to mathematical systems modelling. Motivated by ...