Sciweavers

4270 search results - page 487 / 854
» A Permutation Approach to Validation
Sort
View
DATE
2007
IEEE
112views Hardware» more  DATE 2007»
16 years 1 months ago
Tool-support for the analysis of hybrid systems and models
This paper introduces a method and tool-support for the automatic analysis and verification of hybrid and embedded control systems, whose continuous dynamics are often modelled u...
Andreas Bauer 0002, Markus Pister, Michael Tautsch...
GLOBECOM
2007
IEEE
16 years 1 months ago
Extension and Comparison of QoS-Enabled Wi-Fi Models in the Presence of Errors
—In this paper we compare and enhance the three prevailing approaches of IEEE 802.11e Performance analysis. Specifically, the first model utilizes a Markov Chain to describe th...
Ioannis Papapanagiotou, Georgios S. Paschos, Stavr...
ICALT
2007
IEEE
16 years 1 months ago
Towards a Unified Learning Style Model in Adaptive Educational Systems
Accommodating learning styles in adaptive educational systems represents an important step towards providing individualized instruction. The paper summarizes the main results repo...
Elvira Popescu, Philippe Trigano, Costin Badica
ICC
2007
IEEE
109views Communications» more  ICC 2007»
16 years 1 months ago
Real Time Detection of Link Failures in Inter Domain Routing
Abstract— Measurements have shown that network path failures occur frequently in the Internet and physical link failures can cause network instability in large scale and severity...
Xiaobo Long, Biplab Sikdar
ICDE
2007
IEEE
169views Database» more  ICDE 2007»
16 years 1 months ago
Mining Personally Important Places from GPS Tracks
The discovery of a person’s personally important places involves obtaining the physical locations for a person’s places that matter to his daily life and routines. This proble...
Changqing Zhou, Nupur Bhatnagar, Shashi Shekhar, L...