947 search results - page 48 / 190 » Analysis of Techniques to Improve Protocol Processing Latenc... |
127
click to vote
IEEEIAS
2009
IEEE
15 years 8 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...
105
click to vote
AFRIGRAPH
2003
ACM
15 years 6 months ago
2003
ACM
The perceived realism of a computer generated image depends on the accuracy of the modeling and illumination calculations, the limitations of the display device, and the way in wh...
131
click to vote
IFM
2010
Springer
14 years 12 months ago
2010
Springer
Abstract. The automata-based model checking approach for randomized distributed systems relies on an operational interleaving semantics of the system by means of a Markov decision ...
112
click to vote
WOSP
2000
ACM
15 years 5 months ago
2000
ACM
Performance models are of increasing interest to professionals who do not have a background in mathematical analysis, it is important to provide additional mechanisms by developer...
123
click to vote
COOP
2004
15 years 2 months ago
2004
Abstract. The enormous improvements in the efficiency of model-checking techniques in recent years facilitates their application to ever more complex systems of concurrent and dist...