382 search results - page 36 / 77 » Rule-based static analysis of network protocol implementatio... |
126
click to vote
POLICY
2005
Springer
15 years 7 months ago
2005
Springer
Policy-based management provides the ability to (re-)configure differentiated services networks so that desired Quality of Service (QoS) goals are achieved. Relevant configuration...
115
Voted
CCR
2004
15 years 1 months ago
2004
Protocol and system designers use verification techniques to analyze a system's correctness properties. Network operators need verification techniques to ensure the "cor...
117
click to vote
COMSWARE
2006
IEEE
15 years 5 months ago
2006
IEEE
Applications using traditional protocol stacks (e.g TCP/IP) from wired networks do not function efficiently in mobile wireless scenarios. This is primarily due to the layered archi...
117
Voted
JSAC
2008
15 years 1 months ago
2008
Interest in underwater acoustic networks has grown rapidly with the desire to monitor the large portion of the world covered by oceans. Fundamental differences between underwater a...
139
click to vote
WOWMOM
2009
ACM
15 years 8 months ago
2009
ACM
Abstract— Spectrum-agile radios, also known as cognitive radios, have a great potential to improve spectrum utilization by enabling dynamic access to the spectrum. A key challeng...