Sciweavers

5401 search results - page 678 / 1081
» Using Versions in GIS
Sort
View
CSFW
2007
IEEE
16 years 1 months ago
LTL Model Checking for Security Protocols
Most model checking techniques for security protocols make a number of simplifying assumptions on the protocol and/or on its execution environment that prevent their applicability...
Alessandro Armando, Roberto Carbone, Luca Compagna
HAPTICS
2007
IEEE
16 years 1 months ago
Enhancing Transparency of a Position-Exchange Teleoperator
Dynamic properties of robotic manipulators, including inertia, damping, and friction, limit the transparency of a haptic-feedback teleoperator. In this paper, we develop a positio...
Mohsen Mahvash, Allison M. Okamura
ICC
2007
IEEE
16 years 1 months ago
Peak-to-Average Power Ratio Reduction in MIMO OFDM
—Peak-to-average power ratio (PAR) reduction in OFDM using antenna arrays (MIMO OFDM) is considered. In particular, generalizations of selected mapping (SLM) recently proposed in...
Robert F. H. Fischer, Martin Hoch
IPPS
2007
IEEE
16 years 1 months ago
A Multi-Level Parallel Implementation of a Program for Finding Frequent Patterns in a Large Sparse Graph
Graphs capture the essential elements of many problems broadly defined as searching or categorizing. With the rapid increase of data volumes from sensors, many application discipl...
Steve Reinhardt, George Karypis
IPPS
2007
IEEE
16 years 1 months ago
Novel Broadcast/Multicast Protocols for Dynamic Sensor Networks
: In this paper, we have proposed a time efficient, energy saving and robust broadcast/multicast protocol for reconfigurable cluster-based sensor network. In our broadcast protocol...
Wei Chen, Islam A. K. M. Muzahidul, Mohan Malkani,...