Sciweavers

97 search results - page 15 / 20
» Many-To-Many Communications via Space-Time Network Coding
Sort
View
SCAM
2007
IEEE
15 years 6 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...
110
Voted
SCN
2008
Springer
119views Communications» more  SCN 2008»
15 years 8 days 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 6 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
96
Voted
GLOBECOM
2008
IEEE
15 years 6 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
108
Voted
INFOCOM
2003
IEEE
15 years 5 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