Sciweavers

3356 search results - page 231 / 672
» Determining Consensus Numbers
Sort
View
ETELEMED
2009
IEEE
154views Healthcare» more  ETELEMED 2009»
16 years 6 days ago
Continuous Noninvasive Pulse Transit Time Measurement for Psycho-physiological Stress Monitoring
—Stress is one of the most common reasons for a number of serious diseases. For the prevention and treatment of stress, a psycho-physiological monitoring system for stress measur...
Stefan Hey, Adnene Gharbi, Birte von Haaren, Katri...
TIME
2009
IEEE
16 years 5 days ago
Strong Temporal, Weak Spatial Logic for Rule Based Filters
—Rule-based filters are sequences of rules formed of a condition and a decision. Rules are applied sequentially up to the first fulfilled condition, whose matching decision de...
Roger Villemaire, Sylvain Hallé
QEST
2009
IEEE
16 years 5 days ago
Simulation-Based CTMC Model Checking: An Empirical Evaluation
This paper provides an experimental study of the efficiency of simulation-based model-checking algorithms for continuous-time Markov chains by comparing: MRMC – the only tool t...
Joost-Pieter Katoen, Ivan S. Zapreev
ICN
2009
Springer
16 years 13 hour ago
Acquisition of Channel State Information for Routing Purposes in Relay-Based WiMAX Networks
— The paper focuses on multi-hop routing mechanism used in relay based WiMAX networks. The proposal how to acquire channel state information (CSI) on relay and access path for de...
Pavel Mach, Zdenek Becvar, Robert Bestak
IFIP
2009
Springer
16 years 10 hour ago
A Distributed Exact Solution to Compute Inter-domain Multi-constrained Paths
The fundamental Quality of Service (QoS) routing problem, which consists in determining paths subject to multiple QoS constraints, has been extensively investigated in the intra-do...
Gilles Bertrand, Samer Lahoud, Géraldine Te...