887 search results - page 126 / 178 » Representing Systems with Hidden State |
160
click to vote
RTA
2010
Springer
15 years 8 months ago
2010
Springer
Abstract. Declarative debugging is a semi-automatic technique that starts from an incorrect computation and locates a program fragment responsible for the error by building a tree ...
140
click to vote
FORTE
2000
15 years 5 months ago
2000
The adventof multipoint(multicast-based) applications and the growth and complexity of the Internet has complicated network protocol design and evaluation. In this paper, we prese...
148
click to vote
LOGCOM
2008
15 years 4 months ago
2008
The Sum-and-Product riddle was first published in [Fre69]. We provide an overview on the history of the dissemination of this riddle through the academic and puzzle-math community...
145
click to vote
ENTCS
2007
15 years 4 months ago
2007
Much of the literature on symmetry reductions for model checking assumes a simple model of computation where the local state of each component in a concurrent system can be repres...
153
click to vote
SIAMCO
2008
15 years 3 months ago
2008
Abstract. In this paper we consider a class of hybrid stochastic games with the piecewise openloop information structure. These games are indexed over a parameter which represents...