2300 search results - page 337 / 460 » Maximally Concurrent Programs |
159
click to vote
ISQED
2005
IEEE
15 years 11 months ago
2005
IEEE
Reliability decisions taken early in system design can bring significant benefits in terms of design quality. This paper presents a 0-1 integer linear programming (ILP) formulatio...
181
click to vote
ICALP
2005
Springer
15 years 11 months ago
2005
Springer
We introduce Recursive Markov Decision Processes (RMDPs) and Recursive Simple Stochastic Games (RSSGs), which are classes of (finitely presented) countable-state MDPs and zero-su...
128
click to vote
ICALP
2005
Springer
15 years 11 months ago
2005
Springer
This paper presents a new protocol for atomic broadcast in an asynchronous network with a maximal number of Byzantine failures. It guarantees both safety and liveness without maki...
192
click to vote
UM
2005
Springer
15 years 11 months ago
2005
Springer
Abstract. This research proposes an adaptive mechanism of information visualizing that responds to context changes in knowledge-intensive work. A framework of Context-Sensitive Vis...
169
click to vote
HYBRID
2004
Springer
15 years 11 months ago
2004
Springer
In this paper, we introduce a parametric semantics for timed controllers called the Almost ASAP semantics. This semantics is a relaxation of the usual ASAP3 semantics (also called ...