Sciweavers

3038 search results - page 155 / 608
» Controlling Engineering Problem Solving
Sort
View
GLOBECOM
2009
IEEE
14 years 4 months ago
Medium Access Control Signaling for Reliable Spectrum Agile Radios
—We address the problem of collaborative sensing in cognitive radios. In a cognitive radio network, all the nodes may sense the spectrum simultaneously. They should then exchange...
Ehsan Azarnasab, Rong-Rong Chen, Koon Hoo Teo, Zhi...
BIOSIG
2009
126views Biometrics» more  BIOSIG 2009»
13 years 10 months ago
The Extended Access Control for Machine Readable Travel Documents
: Machine Readable travel documents have been rapidly put in place since 2004. The initial standard was made by the ICAO and it has been quickly followed by the Extended Access Con...
Rafik Chaabouni, Serge Vaudenay
CDC
2010
IEEE
129views Control Systems» more  CDC 2010»
13 years 4 months ago
On parameterized Lyapunov and control Lyapunov functions for discrete-time systems
This paper deals with the existence and synthesis of parameterized-(control) Lyapunov functions (p-(C)LFs) for discrete-time nonlinear systems that are possibly subject to constrai...
Mircea Lazar, Rob H. Gielen
CSFW
2012
IEEE
12 years 1 days ago
Labeled Sequent Calculi for Access Control Logics: Countermodels, Saturation and Abduction
—We show that Kripke semantics of modal logic, manifest in the syntactic proof formalism of labeled sequent calculi, can be used to solve three central problems in access control...
Valerio Genovese, Deepak Garg, Daniele Rispoli
INFOCOM
2002
IEEE
14 years 2 months ago
Optimal Energy Allocation and Admission Control for Communications Satellites
—We address the issue of optimal energy allocation and admission control for communications satellites in earth orbit. Such satellites receive requests for transmission as they o...
Alvin Fu, Eytan Modiano, John N. Tsitsiklis