Sciweavers

2162 search results - page 342 / 433
» A Meta-Notation for Protocol Analysis
Sort
View
GLOBECOM
2008
IEEE
15 years 4 months ago
ARQ with Implicit and Explicit ACKs in Wireless Sensor Networks
—A common application of unattended sensor networks (WSN) is low data rate streaming from many scattered sensors to one or more sink nodes. To meet the stringent requirement of p...
Zvi Rosberg, Ren Ping Liu, Alex Y. Dong, Tuan D. L...
GLOBECOM
2008
IEEE
15 years 4 months ago
Distributed Double-Differential Orthogonal Space-Time Coding for Cooperative Networks
— In this paper, distributed double-differential coding is proposed to avoid the problem of carrier offsets in amplify and forward protocol based cooperative network with two rel...
Manav R. Bhatnagar, Are Hjørungnes
ICC
2008
IEEE
176views Communications» more  ICC 2008»
15 years 4 months ago
Reliable Transport with Memory Consideration in Wireless Sensor Networks
—Wireless sensor networks are often composed of resource-constrained sensor nodes with limited memory space, computational capacity and communication range. The links in WSN are ...
Hongchao Zhou, Xiaohong Guan, Chengjie Wu
IEEEARES
2008
IEEE
15 years 4 months ago
Static Validation of Licence Conformance Policies
Policy conformance is a security property gaining importance due to commercial interest like Digital Rights Management. It is well known that static analysis can be used to valida...
René Rydhof Hansen, Flemming Nielson, Hanne...
IEEESCC
2008
IEEE
15 years 4 months ago
Byzantine Fault Tolerant Coordination for Web Services Business Activities
In this paper, we present a comprehensive study on the threats towards the coordination services for Web services business activities and explore the most optimal solution to miti...
Wenbing Zhao, Honglei Zhang