691 search results - page 66 / 139 » Design and implementation of a dynamic protocol framework |
169
click to vote
ICFEM
2003
Springer
15 years 8 months ago
2003
Springer
Interacting State Machines (ISMs) are used to model reactive systems and to express and verify their properties. They can be seen both as automata exchanging messages simultaneousl...
165
Voted
CDC
2008
IEEE
15 years 10 months ago
2008
IEEE
— There has been much recent interest in protocol design for wireless networks based on maximizing a network utility function. A significant advance in recent years is the obser...
109
Voted
PATMOS
2004
Springer
15 years 8 months ago
2004
Springer
Abstract. This paper presents the validation methodology established and applied during the development of a wireless LAN application. The target of the development is the implemen...
128
click to vote
CCR
2007
15 years 3 months ago
2007
Dynamic load balancing is a popular recent technique that protects ISP networks from sudden congestion caused by load spikes or link failures. Dynamic load balancing protocols, ho...
156
click to vote
VRML
2004
ACM
15 years 8 months ago
2004
ACM
Increasingly, biology researchers and medical practitioners are using computational tools to model and analyze dynamic systems across scales from the macro to the cellular to the ...