2470 search results - page 473 / 494 » Liveness-Preserving Simulation Relations |
CONEXT
2006
ACM
14 years 4 months ago
2006
ACM
Modeling TCP is fundamental for understanding Internet behavior. The reason is that TCP is responsible for carrying a huge quota of the Internet traffic. During last decade many a...
MOBIWAC
2006
ACM
14 years 4 months ago
2006
ACM
Due to their self-configuring and self-healing capabilities, as well as their low equipment and deployment cost, Wireless Mesh Networks (WMNs) based on commodity hardware present...
ICRA
2005
IEEE
14 years 3 months ago
2005
IEEE
Abstract— Nanomanipulation using Atomic Force Microscope (AFM) has been extensively investigated for many years. However, control of tip position during nanomanipulation is still...
INFOCOM
2005
IEEE
14 years 3 months ago
2005
IEEE
Abstract— Protocols for distributed hash tables (DHTs) incorporate features to achieve low latency for lookup requests in the face of churn, continuous changes in membership. The...
INFOCOM
2005
IEEE
14 years 3 months ago
2005
IEEE
— In wireless sensor networks, many protocols assume that if node A is able to interfere with node B’s packet reception, then node B is within node A’s communication range. I...