9821 search results - page 146 / 1965 » A Framework for the Development of Protocols |
158
click to vote
TCOM
2010
14 years 11 months ago
2010
This paper presents a mathematical framework for the evaluation of the performance of proactive and reactive routing protocols in mobile ad hoc networks (MANETs). This unified fram...
138
click to vote
AINA
2005
IEEE
15 years 10 months ago
2005
IEEE
Today, the use of anycast address is quite limited. One of the reasons is because there is no routing protocol providing a global anycasting service. In this paper we design and im...
134
Voted
DATE
2003
IEEE
15 years 10 months ago
2003
IEEE
System-on-chip (SoC) designs use bus protocols for high performance data transfer among the Intellectual Property (IP) cores. These protocols incorporate advanced features such as...
119
click to vote
TACAS
2009
Springer
15 years 11 months ago
2009
Springer
In the past, several attempts have been made to deal with the state space explosion problem by equipping a depth-first search (DFS) algorithm with a state cache, or by avoiding co...
138
click to vote
FORTE
1990
15 years 5 months ago
1990
Formal specifications are a well-known technique for improving software devel the context of OSI communication protocol standards, Formal Description Te (FDT's) have been dev...