2162 search results - page 197 / 433 » A Meta-Notation for Protocol Analysis |
174
Voted
INFOCOM
2007
IEEE
16 years 10 days ago
2007
IEEE
— Most Internet telephony applications currently use either TCP or UDP to carry their voice-over-IP (VoIP) traffic. This choice can be problematic, because TCP is not well suite...
164
click to vote
ICDCSW
2003
IEEE
15 years 11 months ago
2003
IEEE
Most ad hoc networks do not implement any network access control, leaving these networks vulnerable to resource consumption attacks where a malicious node injects packets into the...
177
click to vote
GLOBECOM
2008
IEEE
16 years 15 days ago
2008
IEEE
— Multi-user multiple-input multiple-output (MIMO) systems have been emerging and attracting considerable attention recently for its potential to substantially improve system cap...
123
click to vote
ICC
2007
IEEE
16 years 11 days ago
2007
IEEE
- Mobile sinks can be a viable solution to solve the problem that energy consumption is not balanced for all the sensor nodes in Wireless Sensor Networks (WSNs). Frequent location ...
149
click to vote
LPAR
2007
Springer
16 years 5 days ago
2007
Springer
Abstract. In formal approaches, messages sent over a network are usually modeled by terms together with an equational theory, axiomatizing the properties of the cryptographic funct...