3104 search results - page 243 / 621 » Using quantitative analysis to implement autonomic IT system... |
245
click to vote
AMEC
2004
Springer
15 years 10 months ago
2004
Springer
In many two-sided search applications, autonomous agents can enjoy the advantage of parallel search, powered by their ability to handle an enormous amount of information, in a shor...
195
click to vote
ICDCSW
2011
IEEE
14 years 4 months ago
2011
IEEE
—Developing secure wireless sensor networks (WSNs) is a complex process that involves careful design of attack test cases and security countermeasures, as well as meaningful eval...
150
click to vote
PRDC
2007
IEEE
15 years 11 months ago
2007
IEEE
Consensus is one of the most fundamental problems in fault-tolerant distributed computing. This paper proposes a mechanical method for analyzing the condition that allows one to s...
151
click to vote
ICAIL
2009
ACM
15 years 11 months ago
2009
ACM
We present the first report of automatic sentiment summarization in the legal domain. This work is based on processing a set of legal questions with a system consisting of a semi...
154
click to vote
CMSB
2006
Springer
15 years 8 months ago
2006
Springer
Abstract. Probabilistic model checking is a formal verification technique that has been successfully applied to the analysis of systems from a broad range of domains, including sec...