382 search results - page 24 / 77 » Rule-based static analysis of network protocol implementatio... |
108
click to vote
PDCAT
2005
Springer
15 years 7 months ago
2005
Springer
This paper examines technique of media access that flexible media service, provided user interaction, and guaranteeing QoS. Currently, there are various streaming services, but th...
158
click to vote
COMCOM
2006
15 years 1 months ago
2006
In this paper, we designed and implemented an integrated wireless system, namely a SIP-based MIP6-MANET system. This SIP-based MIP6MANET system is an integration and implementatio...
135
click to vote
SECON
2010
IEEE
14 years 11 months ago
2010
IEEE
Reliability and predictability of the timing behavior have shown to be major issues for wireless sensor network deployments. Real-time requirements presented by several application...
114
click to vote
DAC
2005
ACM
16 years 2 months ago
2005
ACM
As feature sizes shrink, transient failures of on-chip network links become a critical problem. At the same time, many applications require guarantees on both message arrival prob...
126
click to vote
TACAS
2007
Springer
15 years 7 months ago
2007
Springer
We describe a new algorithm for analysing security protocols that use XOR, such as key-management APIs. As a case study, we consider the IBM 4758 CCA API, which is widely used in t...