598 search results - page 38 / 120 » Aspect-Oriented Development Using Protocol Modeling |
MOBICOM
1998
ACM
14 years 2 months ago
1998
ACM
An ad hoc network is a collection of wireless mobile nodes dynamically forming a temporary network without the use of any existing network infrastructure or centralized administra...
HPCC
2010
Springer
13 years 11 months ago
2010
Springer
The traffic characteristics in recent years have changed considerably having more video and audio traffic with critical real-time constraints. This situation is compounded by the i...
IPPS
2003
IEEE
14 years 3 months ago
2003
IEEE
This paper investigates a complexity-effective technique for verifying a highly distributed directory-based cache coherence protocol. We develop a novel approach called “witnes...
CMS
2003
13 years 11 months ago
2003
The Border Gateway Protocol (BGP) is a critical component of the Internet routing infrastructure, used to distribute routing information between autonomous systems (ASes). It is hi...
CP
2011
Springer
12 years 9 months ago
2011
Springer
In recent models of decision-making, cognitive scientists have examined the relationship between option generation and successful performance. These models suggest that those who a...