Sciweavers

1479 search results - page 173 / 296
» Extremal collective behavior
Sort
View
HICSS
2003
IEEE
125views Biometrics» more  HICSS 2003»
15 years 11 months ago
Verifying Trustworthiness Requirements in Distributed Systems with Formal Log-file Analysis
The paper reports on an analysis technology based on the tracing approach to test trustworthy requirements of a distributed system. The system under test is instrumented such that...
Andreas Ulrich, Hesham Hallal, Alexandre Petrenko,...
ITC
2003
IEEE
153views Hardware» more  ITC 2003»
15 years 11 months ago
An Efficient and Effective Methodology on the Multiple Fault Diagnosis
In this paper, we analyze failing circuits and propose a multiple-fault diagnosis approach. Our methodology has been validated experimentally and has proved to be highly efficient...
Zhiyuan Wang, Kun-Han Tsai, Malgorzata Marek-Sadow...
DSOM
2003
Springer
15 years 11 months ago
Management Challenges of Context-Aware Services in Ubiquitous Environments
Ubiquitous environments facilitate the collection of information pieces from sensors, databases, or mobile devices in order to compose the context of entities like users, places, o...
Heinz-Gerd Hegering, Axel Küpper, Claudia Lin...
MDM
2010
Springer
156views Communications» more  MDM 2010»
15 years 11 months ago
Learning Location Correlation from GPS Trajectories
— People’s location histories imply the location correlation that states the relations between geographical locations in the space of human behavior. With the correlation, we c...
Yu Zheng, Xing Xie
DATE
2000
IEEE
112views Hardware» more  DATE 2000»
15 years 11 months ago
A Discrete-Time Battery Model for High-Level Power Estimation
In this paper, we introduce a discrete-time model for the complete power supply sub-system that closely approximates the behavior of its circuit-level (i.e., HSpice), continuous-t...
Luca Benini, Giuliano Castelli, Alberto Macii, Enr...