947 search results - page 22 / 190 » Analysis of Techniques to Improve Protocol Processing Latenc... |
135
click to vote
ASPDAC
2001
ACM
15 years 5 months ago
2001
ACM
Abstract-- Image computation is the core operation for optimization and formal verification of sequential systems like controllers or protocols. State exploration techniques based ...
116
click to vote
ICC
2007
IEEE
15 years 7 months ago
2007
IEEE
— The paper is concerned with a novel adaptive game server protocol optimization to combat network latencies in the case of heterogeneous network environment. In this way, game p...
113
click to vote
AUSDM
2008
Springer
15 years 3 months ago
2008
Springer
The popularity of computer networks broadens the scope for network attackers and increases the damage these attacks can cause. In this context, Intrusion Detection Systems (IDS) a...
132
click to vote
APN
2008
Springer
15 years 3 months ago
2008
Springer
Abstract. In this paper, we introduce a framework composed of a syntax and its compositional Petri net semantics, for the specification and verification of properties (like authent...
CSFW
2003
IEEE
15 years 6 months ago
2003
IEEE
We perform a systematic expansion of protocol narrations into terms of a process algebra in order to make precise some of the detailed checks that need to be made in a protocol. W...