Sciweavers

4335 search results - page 764 / 867
» Privatizing Constraint Optimization
Sort
View
COMCOM
2007
89views more  COMCOM 2007»
15 years 1 months ago
Convergence of periodic broadcasting and video-on-demand
Research on video-on-demand transmissions is essentially divided into periodic broadcasting methods and on-demand methods. Periodic broadcasting is aimed to schedule transmissions...
Juan Segarra, Vicent Cholvi
JAIR
2008
110views more  JAIR 2008»
15 years 1 months ago
Completeness and Performance Of The APO Algorithm
Asynchronous Partial Overlay (APO) is a search algorithm that uses cooperative mediation to solve Distributed Constraint Satisfaction Problems (DisCSPs). The algorithm partitions ...
Tal Grinshpoun, Amnon Meisels
CORR
2007
Springer
70views Education» more  CORR 2007»
15 years 1 months ago
Secure Broadcasting
Abstract—We study a problem of broadcasting confidential messages to multiple receivers under an information-theoretic secrecy constraint. Two scenarios are considered: 1) all r...
Ashish Khisti, Aslan Tchamkerten, Gregory W. Worne...
JDA
2008
84views more  JDA 2008»
15 years 1 months ago
Red-blue covering problems and the consecutive ones property
Set Cover problems are of core importance in many applications. In recent research, the "red-blue variants" where blue elements all need to be covered whereas red elemen...
Michael Dom, Jiong Guo, Rolf Niedermeier, Sebastia...
CORR
2007
Springer
147views Education» more  CORR 2007»
15 years 1 months ago
Model Checking Synchronized Products of Infinite Transition Systems
Formal verification using the model checking paradigm has to deal with two aspects: The system models are structured, often as products of components, and the specification logic...
Stefan Wöhrle, Wolfgang Thomas