3104 search results - page 200 / 621 » Using quantitative analysis to implement autonomic IT system... |
156
click to vote
SIGCOMM
2010
ACM
15 years 4 months ago
2010
ACM
Denial of Service (DoS) attacks frequently happen on the Internet, paralyzing Internet services and causing millions of dollars of financial loss. This work presents NetFence, a s...
148
click to vote
HYBRID
2003
Springer
15 years 9 months ago
2003
Springer
Abstract. This paper describes the implementation of predicate abstraction techniques to automatically compute symbolic backward reachable sets of high dimensional piecewise affine...
135
click to vote
QEST
2009
IEEE
15 years 11 months ago
2009
IEEE
—Symmetry reduction is a technique for combating state-space explosion in model checking. The generic representatives approach to symmetry reduction uses a language-level transla...
160
click to vote
MUC
1992
15 years 8 months ago
1992
The GE NLTooLsET is a set of text interpretation tools designed to be easily adapted to new domains. This report summarizes the system and its performance on the MUG-4 task . INTR...
102
click to vote
ECIS
2001
15 years 5 months ago
2001
This paper presents a case study showing how Repertory Grid Analysis (RGA) can be used to construct shared meaning during information systems development, implementation and use. ...