3104 search results - page 219 / 621 » Using quantitative analysis to implement autonomic IT system... |
162
click to vote
IEEEIAS
2009
IEEE
15 years 11 months ago
2009
IEEE
: There are two main approaches for implementing IDS; Host based and Network based. While the former is implemented in form of software deployed on a host, the latter, usually is b...
157
click to vote
WORDS
2002
IEEE
15 years 9 months ago
2002
IEEE
The majority of today’s Internet-based services are generally not concerned about the level of Quality of Service (QoS) presented to their users. For many such services, however...
126
click to vote
EICS
2009
ACM
15 years 11 months ago
2009
ACM
This paper discusses the use of formal methods for analysing human-computer interaction. We focus on the mode confusion problem that arises whenever the user thinks that the syste...
175
Voted
ISCA
2008
IEEE
15 years 11 months ago
2008
IEEE
Performance improvement solely through transistor scaling is becoming more and more difficult, thus it is increasingly common to see domain specific accelerators used in conjunc...
136
click to vote
QEST
2009
IEEE
15 years 11 months ago
2009
IEEE
This paper provides an experimental study of the efficiency of simulation-based model-checking algorithms for continuous-time Markov chains by comparing: MRMC – the only tool t...