940 search results - page 118 / 188 » Local rely-guarantee reasoning |
105
click to vote
ESSLLI
1999
Springer
15 years 5 months ago
1999
Springer
This paper presents a grammar formalism in which constituent graphs are unions of a continuous surface tree and a discontinuous deep tree. The formalism has an object-oriented desi...
CORR
2007
Springer
15 years 22 days ago
2007
Springer
Internet-based personal digital belongings present different vulnerabilities than locally stored materials. We use responses to a survey of people who have recovered lost websites...
118
click to vote
CVPR
2008
IEEE
16 years 2 months ago
2008
IEEE
This paper presents a new stereo matching algorithm based on inter-regional cooperative optimization. The proposed algorithm uses regions as matching primitives and defines the co...
137
Voted
ICFP
2004
ACM
16 years 22 days ago
2004
ACM
Concurrency, as a useful feature of many modern programming languages and systems, is generally hard to reason about. Although existing work has explored the verification of concu...
109
Voted
IAT
2005
IEEE
15 years 6 months ago
2005
IEEE
In this paper, we consider the problem of dynamic lightpath protection in survivable WDM networks with single link failure model. Our work concerns in how to dynamically determine...