52 search results - page 11 / 11 » Termination for Hybrid Tableaus |
NSDI
2008
13 years 7 months ago
2008
We present Hubble, a system that operates continuously to find Internet reachability problems in which routes exist to a destination but packets are unable to reach the destinatio...
USENIX
1994
13 years 6 months ago
1994
A hybrid of window system, shell, and editor, Acme gives text-oriented applications a clean, expressive, and consistent style of interaction. Traditional window systems support in...