2468 search results - page 143 / 494 » On Model Checking Techniques for Randomized Distributed Syst... |
134
Voted
ACL
2008
15 years 5 months ago
2008
Discriminative feature-based methods are widely used in natural language processing, but sentence parsing is still dominated by generative methods. While prior feature-based dynam...
157
Voted
ESEC
1997
Springer
15 years 7 months ago
1997
Springer
The software architecture of a distributed program can be represented by a hierarchical composition of subsystems, with interacting processes at the leaves of the hierarchy. Compo...
125
Voted
CCE
2004
15 years 3 months ago
2004
This work focuses on the basic stochastic decomposition (SD) algorithm of Higle and Sen [J.L. Higle, S. Sen, Stochastic Decomposition, Kluwer Academic Publishers, 1996] for two-st...
99
Voted
ENTCS
2010
15 years 3 months ago
2010
Credo offers tools and techniques to model and analyze highly reconfigurable distributed systems. In this paper, we present an integrated methodology to use the Credo tool suite. ...
114
click to vote
EOR
2007
15 years 3 months ago
2007
In this paper, we consider a discrete-time finite-capacity queue with Bernoulli arrivals and batch services. In this queue, the single server has a variable service capacity and s...