240 search results - page 35 / 48 » A Suite of Tools for Debugging Distributed Autonomous System... |
104
click to vote
ICDM
2009
IEEE
15 years 6 months ago
2009
IEEE
Abstract—We describe a novel application of using data mining and statistical learning methods to automatically monitor and detect abnormal execution traces from console logs in ...
CCR
2004
14 years 11 months ago
2004
Protocol and system designers use verification techniques to analyze a system's correctness properties. Network operators need verification techniques to ensure the "cor...
82
Voted
INFOCOM
2009
IEEE
15 years 6 months ago
2009
IEEE
—The Border Gateway Protocol (BGP) handles the task of establishing routes between the Autonomous Systems (ASes) that make up the Internet. It is known that it is possible for a ...
106
click to vote
EMSOFT
2008
Springer
15 years 1 months ago
2008
Springer
The Simulink/Stateflow (SL/SF) environment from Mathworks is becoming the de facto standard in industry for model based development of embedded control systems. Many commercial to...
100
click to vote
CSCW
2010
ACM
15 years 8 months ago
2010
ACM
In this paper, we examine the social roles of software tools in the English-language Wikipedia, specifically focusing on autonomous editing programs and assisted editing tools. Th...