933 search results - page 127 / 187 » Extending Forward Checking |
119
click to vote
IPPS
2006
IEEE
15 years 8 months ago
2006
IEEE
An execution environment consisting of virtual machines (VMs) interconnected with a virtual overlay network can use the naturally occurring traffic of an existing, unmodified ap...
114
click to vote
ISCC
2006
IEEE
15 years 8 months ago
2006
IEEE
— In order to support mobile users, the basic Internet protocols have been extended with protocols (e.g., Mobile IPv6) for intercepting and forwarding packets to a mobile and pos...
111
click to vote
ICPADS
2005
IEEE
15 years 8 months ago
2005
IEEE
Virtual infrastructures or backbones in wireless sensor networks reduce the communication overhead and energy consumption. In this paper, we present BackBone Routing (BBR), a nove...
113
click to vote
ISCC
2005
IEEE
15 years 8 months ago
2005
IEEE
— The main characterisrics of ad hoc networks are the lack of predefined infrastructure and the dynamic topology. These characteristics present some new security vulnerabilities...
102
click to vote
TIME
2005
IEEE
15 years 8 months ago
2005
IEEE
Abstract— We present a specification language and algorithms for the online and offline monitoring of synchronous systems including circuits and embedded systems. Such monitori...