Sciweavers

5599 search results - page 63 / 1120
» Abstract State Services
Sort
View
ICC
2007
IEEE
150views Communications» more  ICC 2007»
15 years 5 months ago
Fast Proactive Recovery from Concurrent Failures
Abstract-- Recovery of traffic in connectionless pure IP networks has traditionally been handled by a full re-convergence of the network state. This process operates in a time scal...
Audun Fosselie Hansen, Olav Lysne, Tarik Cicic, St...
ICCHP
2010
Springer
15 years 3 months ago
Redefining Assumptions: Accessibility and Its Stakeholders
Abstract. Accessibility is becoming more and more relevant in Information technologies, such as the Web and software applications, particularly due to the push on legislation to ma...
Rui Lopes, Karel Van Isacker, Luís Carri&cc...
INFOCOM
1997
IEEE
15 years 5 months ago
Analyzing Non-Determinism in Telecommunication Services Using P-Invariant of Petri-Net Model
The non-deterministic behaviors in telecommunication services are well-known as one of the most typical Feature Interactions, and they should be detected and eliminated from the t...
Masahide Nakamura, Yoshiaki Kakuda, Tohru Kikuno
107
Voted
ESOP
2004
Springer
15 years 7 months ago
Canonical Graph Shapes
Abstract. Graphs are an intuitive model for states of a (software) system that include pointer structures — for instance, object-oriented programs. However, a naive encoding resu...
Arend Rensink
JAIR
2006
120views more  JAIR 2006»
15 years 1 months ago
FluCaP: A Heuristic Search Planner for First-Order MDPs
We present a heuristic search algorithm for solving first-order Markov Decision Processes (FOMDPs). Our approach combines first-order state abstraction that avoids evaluating stat...
Steffen Hölldobler, Eldar Karabaev, Olga Skvo...