Sciweavers

58 search results - page 10 / 12
» Taxation for green communication
Sort
View
SENSYS
2010
ACM
13 years 7 months ago
eShare: a capacitor-driven energy storage and sharing network for long-term operation
The ability to move energy around makes it feasible to build distributed energy storage systems that can robustly extend the lifetime of networked sensor systems. eShare supports ...
Ting Zhu, Yu Gu, Tian He, Zhi-Li Zhang
MOBICOM
2004
ACM
14 years 3 months ago
Detecting and correcting malicious data in VANETs
In order to meet performance goals, it is widely agreed that vehicular ad hoc networks (VANETs) must rely heavily on node-to-node communication, thus allowing for malicious data t...
Philippe Golle, Daniel H. Greene, Jessica Staddon
MICAI
2000
Springer
14 years 1 months ago
Searching for a Solution to Program Verification=Equation Solving in CCS
Unique Fixpoint Induction, UFI, is a chief inference rule to prove the equivalence of recursive processes in CCS [7]. It plays a major role in the equational approach to verificati...
Raul Monroy, Alan Bundy, Ian Green
ACHI
2008
IEEE
14 years 4 months ago
Multimodal Metric Study for Human-Robot Collaboration
The aim of our research is to create a system whereby human members of a team can collaborate in a natural way with robots. In this paper we describe a Wizard of Oz (WOZ) study co...
Scott Green, Scott Richardson, Randy Stiles, Mark ...
GLOBECOM
2007
IEEE
14 years 4 months ago
Reduced Complexity Sequence Detection of Continuous Phase Modulation Represented as the Linear Superposition of Amplitude Modula
The Laurent Decomposition expresses any binary single-h CPM waveform as the summation of a finite number of pulse amplitude modulated components, and this result has been useful i...
Marilynn P. Wylie-Green, Erik Perrins