691 search results - page 59 / 139 » Path Consistency by Dual Consistency |
GLOBECOM
2006
IEEE
14 years 1 months ago
2006
IEEE
— Recent studies have shown that a non-negligible number of packets face multiple congested links on Internet paths. We investigate the impact of using multiple Active Queue Mana...
ISSTA
2006
ACM
14 years 1 months ago
2006
ACM
Test campaigns usually require only a restricted subset of paths in a program to be thoroughly tested. As random testing (RT) offers interesting fault-detection capacities at low ...
ICRA
2005
IEEE
14 years 1 months ago
2005
IEEE
- This paper describes an autonomous mobile surveillance system usually used in a factory premises with some high-rise buildings. This system consists of a wireless LAN network, a ...
IDEAS
2005
IEEE
14 years 1 months ago
2005
IEEE
— XPath is a common language for selecting nodes in an XML document. XPath uses so called path expressions which describe a navigation path through semistructured data. In the la...
ECAI
2008
Springer
13 years 9 months ago
2008
Springer
Abstract. We propose a SAT-based algorithm for incremental diagnosis of discrete-event systems. The monotonicity is ensured by a prediction window that uses the future observations...