Sciweavers

97 search results - page 15 / 20
» Many-To-Many Communications via Space-Time Network Coding
Sort
View
SCAM
2007
IEEE
15 years 4 months ago
Barrier Slicing for Remote Software Trusting
Remote trusting aims at verifying the “healthy” execution of a program running on an untrusted client that communicates with a trusted server via network connection. After giv...
Mariano Ceccato, Mila Dalla Preda, Jasvir Nagra, C...
SCN
2008
Springer
119views Communications» more  SCN 2008»
14 years 10 months ago
Integrating fingerprint with cryptosystem for internet-based live pay-TV system
In the last few years, live pay-TV system via internet has come to be established with the development of broadband network. To develop such a system, a mechanism for content prote...
Shuhui Hou, Tetsutaro Uehara, Takashi Satoh, Yoshi...
RSP
2007
IEEE
139views Control Systems» more  RSP 2007»
15 years 4 months ago
Verifying Distributed Protocols using MSC-Assertions, Run-time Monitoring, and Automatic Test Generation
This paper addresses the need for formal specification and runtime verification of system-level requirements of distributed reactive systems. It describes a formalism for specifyi...
Doron Drusinsky, Man-tak Shing
85
Voted
GLOBECOM
2008
IEEE
15 years 4 months ago
The Gateway Channel: Outage Analysis
— We consider a relay that simultaneously assists multiple source-destination pairs that do not have a direct link, the so-called gateway channel, and explore the sum capacity of...
Mohamed Abouelseoud, Aria Nosratinia
INFOCOM
2003
IEEE
15 years 3 months ago
Opportunistic Fair Scheduling over Multiple Wireless Channels
Abstract— Emerging spread spectrum high-speed data networks utilize multiple channels via orthogonal codes or frequency-hopping patterns such that multiple users can transmit con...
Yonghe Liu, Edward W. Knightly