554 search results - page 67 / 111 » Abstraction of Communication Channels in Promela: A Case Stu... |
ICDIM
2009
IEEE
14 years 3 months ago
2009
IEEE
This paper presents a new schema-sharing technique for multitenant applications. Our approach is built on top of the Extension table method and makes use of the native XML data su...
NDSS
2000
IEEE
14 years 1 months ago
2000
IEEE
We analyze an optimistic contract signing protocol of Asokan, Shoup, and Waidner as a case study in the applicability of formal methods to verification of fair exchange protocols...
VTC
2007
IEEE
14 years 3 months ago
2007
IEEE
Abstract— We consider a single-cell multiple-input multipleoutput (MIMO) downlink channel where linear transmission and reception strategy is employed. The base station (BS) tran...
TWC
2008
13 years 8 months ago
2008
Abstract-- In many portable devices, wireless network interfaces consume upwards of 30% of scarce system energy. Reducing the transceiver's power consumption to extend the sys...
ICC
2007
IEEE
14 years 3 months ago
2007
IEEE
— We address a lifetime maximization problem for a single-hop wireless sensor network where multiple sensors encode and communicate their measurements of a Gaussian random source...