1581 search results - page 202 / 317 » Mechanizing Inductive Reasoning |
152
click to vote
WWIC
2007
Springer
15 years 9 months ago
2007
Springer
Mobile Ad Hoc networks (MANETs) are susceptible to having their effective operation compromised by a variety of security attacks. Nodes may misbehave either because they are malici...
117
click to vote
IEEEARES
2006
IEEE
15 years 9 months ago
2006
IEEE
It is now commonly accepted that security and dependability largely represent two different aspects of an overall meta-concept that reflects the trust that we put in a computer s...
ISCC
2005
IEEE
15 years 8 months ago
2005
IEEE
Several previous works have shown that TCP exhibits poor performance in Mobile Ad Hoc Networks (MANETs). The ultimate reason for this is that MANETs behave in a significantly diff...
103
click to vote
ISCC
2005
IEEE
15 years 8 months ago
2005
IEEE
It is expected that IPv6 multihomed sites will obtain as many global prefixes as direct providers they have, so Traffic Engineering techniques currently used in IPv4 multihomed si...
116
click to vote
LICS
2005
IEEE
15 years 8 months ago
2005
IEEE
Run-time type analysis allows programmers to easily and concisely define operations based upon type structure, such as serialization, iterators, and structural equality. However,...