Sciweavers

1559 search results - page 179 / 312
» Cooperative Communications
Sort
View
FROCOS
2007
Springer
16 years 19 days ago
Architecting Solvers for SAT Modulo Theories: Nelson-Oppen with DPLL
We offer a transition system representing a high-level but detailed architecture for SMT solvers that combine a propositional SAT engine with solvers for multiple disjoint theorie...
Sava Krstic, Amit Goel
HOLOMAS
2009
Springer
15 years 11 months ago
Mobility Model for Tactical Networks
In this paper a synthetic mobility model which represents behavior and movement pattern of heterogeneous units in disaster relief and battlefield scenarios is proposed. These oper...
Milan Rollo, Antonín Komenda
CHI
2002
ACM
16 years 6 months ago
Trust without touch: jumpstarting long-distance trust with initial social activities
Computer-mediated communication (CMC) is thought to be inadequate when one needs to establish trust. If, however, people meet before using CMC, they trust each other, trust being ...
Jun Zheng, Elizabeth S. Veinott, Nathan Bos, Judit...
MOBIHOC
2007
ACM
16 years 6 months ago
Secure incentives for commercial ad dissemination in vehicular networks
Vehicular ad hoc networks (VANETs) are envisioned to provide us with numerous interesting services in the near future. One of the most promising applications is the dissemination ...
Suk-Bok Lee, Gabriel Pan, Joon-Sang Park, Mario Ge...
ICC
2008
IEEE
139views Communications» more  ICC 2008»
16 years 28 days ago
OFDM Based Distributed Space Time Coding for Asynchronous Relay Networks
— Recently Li and Xia have proposed a transmission scheme for wireless relay networks based on the Alamouti space time code and orthogonal frequency division multiplexing to comb...
G. Susinder Rajan, B. Sundar Rajan