1833 search results - page 179 / 367 » Mechanized Verification with Sharing |
153
click to vote
DATE
2006
IEEE
16 years 17 days ago
2006
IEEE
This paper addresses an XML-based design environment, which provides a powerful basis for the manipulation of hardware design descriptions. The contribution of the paper is a flex...
161
click to vote
AINA
2005
IEEE
16 years 3 days ago
2005
IEEE
: The pervasive nature of mobile and wireless systems has led to increased concerns over Quality of Service (QoS). In the prevailing models for QoS management, QoS resolution is ac...
211
click to vote
PEWASUN
2004
ACM
15 years 12 months ago
2004
ACM
This paper studies the performance of a multi-rate mobile ad hoc network (MANET) using an extended ns-2 simulator. A link adaptation algorithm is developed and tested. The multi-r...
179
click to vote
MSWIM
2003
ACM
15 years 11 months ago
2003
ACM
This paper presents ARC (Adaptive Range Control), a communication range control mechanism using directional antennas to be implemented across multiple layers. ARC uses directional...
157
click to vote
PPPJ
2003
ACM
15 years 11 months ago
2003
ACM
Building distributed systems is an inherently difficult and complex task. Modern middleware architectures assist developers ding abstractions that hide transport layer functionali...