1716 search results - page 269 / 344 » Proving Conditional Termination |
82
Voted
WEBDB
2010
Springer
15 years 5 months ago
2010
Springer
For documents with complex or atypical annotations, multihierarchical structures play the role of the document tree in traditional XML documents. We define a model of overlapping...
120
Voted
ICDCS
2002
IEEE
15 years 5 months ago
2002
IEEE
In this paper, we focus our attention on the problem of automating the addition of failsafe fault-tolerance where fault-tolerance is added to an existing (fault-intolerant) progra...
89
Voted
INFOCOM
2002
IEEE
15 years 5 months ago
2002
IEEE
Abstract— This paper introduces a new packet marking algorithm that can be used in the context of Assured Forwarding (AF) in the Differentiated Services (DiffServ) framework [1],...
98
Voted
CDC
2009
IEEE
15 years 5 months ago
2009
IEEE
— We consider the control of impulsive systems with jumps triggered by a renewal process, that is, the intervals between jumps are independent and identically distributed. The co...
90
Voted
CDC
2009
IEEE
15 years 5 months ago
2009
IEEE
— We consider decision making in a Markovian setup where the reward parameters are not known in advance. Our performance criterion is the gap between the performance of the best ...