Sciweavers

1699 search results - page 290 / 340
» On the Expressive Power of QLTL
Sort
View
CPHYSICS
2007
64views more  CPHYSICS 2007»
15 years 5 months ago
Modelling of dual-frequency capacitive discharges
We discuss electron heating mechanisms in the sheath regions of dual-frequency capacitive discharges, with the aims of identifying the dominant mechanisms and supplying closed-for...
M. M. Turner, P. Chabert
ITSSA
2006
182views more  ITSSA 2006»
15 years 5 months ago
Evaluation of a Multi-Agent System for Hospital Patient Scheduling
: The problem of patient scheduling in hospitals is characterized by high uncertainty and dynamics in patient treatments. Additional complexity in the planning and coordination pro...
Anja Zöller, Lars Braubach, Alexander Pokahr,...
JSAC
2008
95views more  JSAC 2008»
15 years 5 months ago
Game Theoretic Modeling of Malicious Users in Collaborative Networks
If a network is to operate successfully, its users need to collaborate. Collaboration takes the form of following a network protocol and involves some resource expenditure on the p...
George Theodorakopoulos, John S. Baras
JSAC
2008
148views more  JSAC 2008»
15 years 5 months ago
Frame Synchronization for Variable-Length Packets
A cognitive radio can sense its environment and adapt some of its features, such as carrier frequency, transmission bandwidth, transmission power, and modulation, thus allowing dyn...
Watcharapan Suwansantisuk, Marco Chiani, Moe Z. Wi...
JUCS
2008
129views more  JUCS 2008»
15 years 5 months ago
Easing the Smart Home: Semi-automatic Adaptation in Perceptive Environments
: This paper analyses the requirements of automation and adaptation in the so called perceptive environments. These environments are places with the ability of perceiving the conte...
Manuel García-Herranz, Pablo A. Haya, Abrah...