9233 search results - page 1712 / 1847 » Sharing sensor networks |
175
click to vote
SP
2009
IEEE
16 years 1 months ago
2009
IEEE
We present a logic for reasoning about properties of secure systems. The logic is built around a concurrent programming language with constructs for modeling machines with shared ...
122
click to vote
INFOCOM
2009
IEEE
16 years 1 months ago
2009
IEEE
—This paper presents an efficient protocol to reliably exchange information in a single-hop radio network with unpredictable interference. The devices can access C communication...
184
click to vote
INFOCOM
2009
IEEE
16 years 1 months ago
2009
IEEE
Abstract—This paper presents a protocol-independent approach to reveal a new insight into the performance of carrier sense multiple access with collision avoidance (CSMA/CA) prot...
135
click to vote
COCOON
2009
Springer
16 years 1 months ago
2009
Springer
Edge-intersection graphs of paths in grids are graphs that can be represented with vertices as paths in grids and edges between the vertices of the graph exist whenever two grid pa...
167
click to vote
EPEW
2009
Springer
16 years 1 months ago
2009
Springer
We develop models of automated E-commerce techniques, which predict the economic outcomes of these decision mechanisms, including the price attained by a good and the resulting inc...