Sciweavers

2470 search results - page 277 / 494
» Liveness-Preserving Simulation Relations
Sort
View
COLCOM
2009
IEEE
15 years 9 months ago
Square region-based coverage and connectivity probability model in wireless sensor networks
—Sensing coverage and network connectivity are two fundamental issues in wireless sensor networks (WSNs). Due to resource constraints of sensor nodes, it may not be possible, or ...
Xiaofei Xing, Guojun Wang, Jie Wu, Jie Li
DNA
2001
Springer
15 years 9 months ago
The Fidelity of the Tag-Antitag System
In the universal DNA chip method, target RNAs are mapped onto a set of DNA tags. Parallel hybridization of these tags with an indexed, complementary antitag array then provides an ...
John A. Rose, Russell J. Deaton, Masami Hagiya, Ak...
IUI
1999
ACM
15 years 9 months ago
Intelligent Multi-Shot Visualization Interfaces for Dynamic 3D Worlds
In next-generation virtual 3D simulation, training, and entertainment environments, intelligent visualization interfaces must respond to user-specified viewing requests so users c...
William H. Bares, James C. Lester
MOBICOM
1999
ACM
15 years 9 months ago
Scenario-Based Performance Analysis of Routing Protocols for Mobile ad-hoc Networks
This study is a comparison of three routing protocols proposed for wireless mobile ad-hoc networks. The protocols are: Destination Sequenced Distance Vector (DSDV), Ad-hoc On dema...
Per Johansson, Tony Larsson, Nicklas Hedman, Barto...
MOBICOM
1999
ACM
15 years 9 months ago
WTCP: A Reliable Transport Protocol for Wireless Wide-Area Networks
Wireless wide-area networks (WWANs) are characterized by very low and variable bandwidths, very high and variable delays, significant non-congestion related losses, asymmetric upl...
Prasun Sinha, Narayanan Venkitaraman, Raghupathy S...