1833 search results - page 273 / 367 » Mechanized Verification with Sharing |
127
Voted
ICNP
2007
IEEE
15 years 11 months ago
2007
IEEE
Abstract— In a wireless network, mobile nodes (MNs) repeatedly perform tasks such as layer 2 (L2) handoff, layer 3 (L3) handoff and authentication. These tasks are critical, part...
117
click to vote
ICPADS
2007
IEEE
15 years 11 months ago
2007
IEEE
Peer-to-Peer computing has become a popular networking paradigm for file sharing, distributed computing, collaborative working, etc. The widely used unstructured Peer-to-Peer pro...
139
Voted
ICRA
2007
IEEE
15 years 11 months ago
2007
IEEE
— Portable, modular and extensible software allows robotics researchers to pool their resources by sharing algorithms, thus advancing research in the field of robotics at a fast...
120
click to vote
INFOCOM
2007
IEEE
15 years 11 months ago
2007
IEEE
— To discover an efficient fair sending rate for a flow, Transmission Control Protocol (TCP) saturates the bottleneck link and its buffer until the router discards a packet. Su...
113
click to vote
KBSE
2007
IEEE
15 years 11 months ago
2007
IEEE
Code theft is a threat for companies that consider code as a core asset. A birthmark can help them to prove code theft by identifying intrinsic properties of a program. Two progra...