Sciweavers

355 search results - page 34 / 71
» Diagnosis with Behavioral Modes
Sort
View
WACC
1999
ACM
15 years 2 months ago
Temporal workflow management in a claim handling system
Temporal workflow management is important for processes that are time-driven. Claim handling, which requires the documentation, diagnosis, and resolution of customer claims due to...
J. Leon Zhao, Edward A. Stohr
ESOP
1999
Springer
15 years 2 months ago
Set-Based Failure Analysis for Logic Programs and Concurrent Constraint Programs
This paper presents the rst approximation method of the nite-failure set of a logic program by set-based analysis. In a dual view, the method yields a type analysis for programs wi...
Andreas Podelski, Witold Charatonik, Martin Mü...
CCR
2010
100views more  CCR 2010»
14 years 10 months ago
Towards understanding bugs in open source router software
Software errors and vulnerabilities in core Internet routers have led to several high-profile attacks on the Internet infrastructure and numerous outages. Building an understandin...
Zuoning Yin, Matthew Caesar, Yuanyuan Zhou
JIRS
2007
134views more  JIRS 2007»
14 years 9 months ago
Improving Robustness of Mobile Robots Using Model-based Reasoning
Retaining functionality of a mobile robot in the presence of faults is of particular interest in autonomous robotics. From our experiences in robotics we know that hardware is one ...
Michael W. Hofbaur, Johannes Köb, Gerald Stei...
ISCC
2003
IEEE
15 years 3 months ago
Wireless Token Ring Protocol-Performance Comparison with IEEE 802.11
The paper presents the performance advantage of Wireless Token Ring Protocol (WTRP) versus IEEE 802.11 in DCF mode. WTRP is a medium access control (MAC) protocol and is designed ...
Mustafa Ergen, Duke Lee, Raja Sengupta, Pravin Var...