7766 search results - page 11 / 1554 » Testing Nondeterminate Systems |
EPEW
2010
Springer
13 years 8 months ago
2010
Springer
Abstract. Restricting the power of the schedulers that resolve the nondeterminism in probabilistic concurrent systems has recently drawn the attention of the research community. Th...
FSTTCS
2008
Springer
13 years 8 months ago
2008
Springer
ABSTRACT. Formalisms involving some degree of nondeterminism are frequent in computer science. In particular, various programming or specification languages are based on term rewr...
ENTCS
2007
13 years 7 months ago
2007
Multi-algebras allow to model nondeterminism in an algebraic framework by interpreting operators as functions from individual arguments to sets of possible results. We propose a s...
IPPS
2006
IEEE
14 years 1 months ago
2006
IEEE
A new token-passing algorithm called AR-TP for avoiding the non-determinism of some networking technologies is presented. This protocol allows the schedulability analysis of the n...
GI
2004
Springer
14 years 1 months ago
2004
Springer
The Action Semantics for UML provides a standard and platform independent way to describe the behavior of methods and executable actions in object-oriented system design prior to i...