382 search results - page 14 / 77 » Rule-based static analysis of network protocol implementatio... |
ICFEM
2009
Springer
15 years 6 months ago
2009
Springer
Internet protocols encapsulate a significant amount of state, making implementing the host software complex. In this paper, we define the Statecall Policy Language (SPL) which pr...
111
click to vote
JCP
2008
14 years 11 months ago
2008
The mining of weighted association rules is one of the primary methods used in communication alarm correlation analysis. With large communication alarm database, the traditional me...
110
click to vote
DASIP
2010
14 years 6 months ago
2010
This paper proposes an automatic design flow from userfriendly design to efficient implementation of video processing systems. This design flow starts with the use of coarsegrain ...
INFOCOM
1996
IEEE
15 years 3 months ago
1996
IEEE
The Transmission Control Protocol Internet Protocol TCP IP 1 suite is a very widely used technique that is employed to interconnect computing facilities in modern network environm...
94
Voted
WIOPT
2005
IEEE
15 years 5 months ago
2005
IEEE
Loss-Free handoff in Mobile Networks is an extensive research area. Mobile IP (MIP) provided a solution to enable a mobile node to roam from one location to another while maintain...