3575 search results - page 156 / 715 » Modeling Concurrency with Geometry |
129
click to vote
IFM
2009
Springer
15 years 11 months ago
2009
Springer
Abstract. To model real-life critical systems, one needs“high-level”languages to express three important concepts: complex data structures, concurrency, and real-time. So far, ...
132
click to vote
HIPC
2005
Springer
15 years 10 months ago
2005
Springer
We examine the problem of scheduling concurrent independent flows on multiple-disk I/O storage systems. Two models are considered: in the shared buffer model the memory buffer is ...
134
click to vote
CASCON
1993
15 years 5 months ago
1993
The database community has produced extensive research on the concurrency control problem in the context of traditional databases. However, this traditional model is not suitable ...
187
Voted
FOCS
2003
IEEE
15 years 9 months ago
2003
IEEE
Concurrent general composition relates to a setting where a secure protocol is run in a network concurrently with other, arbitrary protocols. Clearly, security in such a setting i...
123
click to vote
INFSOF
2002
15 years 4 months ago
2002
Petri nets have been extensively used in the modelling and analysis of concurrent and distributed systems. The veri