22 search results - page 4 / 5 » Probability and Nondeterminism in Operational Models of Conc... |
FASE
2005
Springer
13 years 11 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...
CORR
2010
Springer
13 years 5 months ago
2010
Springer
We consider CSP from the point of view of the algebraic theory of effects, which classifies operations as effect constructors and effect deconstructors; it also provides a link wit...
SRDS
2006
IEEE
13 years 11 months ago
2006
IEEE
Determinism is mandatory for replicating distributed objects with strict consistency guarantees. Multithreaded execution of method invocations is a source of nondeterminism, but h...
SENSYS
2006
ACM
13 years 11 months ago
2006
ACM
We undertake a systematic experimental study of the effects of concurrent packet transmissions in low-power wireless networks. Our measurements, conducted with Mica2 motes equippe...
PE
2006
Springer
13 years 5 months ago
2006
Springer
This paper proposes a stochastic fluid flow model to compute the transfer time distribution of resources in peer-to-peer file sharing applications. The amount of bytes transferred...