7557 search results - page 38 / 1512 » Modeling Timed Concurrent Systems |
120
click to vote
MASCOTS
1993
15 years 2 months ago
1993
This work presents a model of a distributed database system which provides the framework to study the performance of timestamp ordering concurrency control. We exhibit an analytic...
141
click to vote
TACAS
1998
Springer
15 years 5 months ago
1998
Springer
The latest ITU-T standard syntax of Message Sequence Charts (MSCs) 16] o ers several operators to compose MSCs in a hierarchical, iterating, and nondeterministic way. However, curr...
143
click to vote
ATVA
2006
Springer
15 years 5 months ago
2006
Springer
Whereas partial order methods have proved their efficiency for the analysis of discrete-event systems, their application to timed systems remains a challenging research topic. Here...
147
click to vote
MMAS
2011
Springer
14 years 8 months ago
2011
Springer
While existing mathematical descriptions can accurately account for phenomena at microscopic scales (e.g. molecular dynamics), these are often high-dimensional, stochastic and thei...
132
click to vote
FASE
2005
Springer
15 years 6 months ago
2005
Springer
Scenarios are a popular means for capturing behavioural requirements of software systems early in the lifecycle. Scenarios show how components interact to provide system level func...