5171 search results - page 220 / 1035 » Deterministic Parallel Processing |
111
Voted
ENTCS
2006
15 years 2 months ago
2006
We define a compositional operational semantics for state machines and their composition in UML. Each state machine describes the behavior of an object of a class. If a class of a...
113
click to vote
NETWORKS
2008
15 years 2 months ago
2008
The Network Interdiction Problem involves interrupting an adversary's ability to maximize flow through a capacitated network by destroying portions of the network. A budget c...
137
click to vote
LPAR
2010
Springer
15 years 6 days ago
2010
Springer
We investigate the complexity of preorder checking when the specification is a flat finite-state system whereas the implementation is either a non-flat finite-state system or a st...
133
click to vote
AIPS
2011
14 years 6 months ago
2011
Most predominant approaches in probabilistic planning utilize techniques from the more thoroughly investigated field of classical planning by determinizing the problem at hand. I...
115
Voted
COORDINATION
2008
Springer
15 years 4 months ago
2008
Springer
A translation of the Business Process Modeling Notation into the process calculus COWS is presented. The stochastic extension of COWS is then exploited to address quantitative reas...