Sciweavers

827 search results - page 78 / 166
» Monitoring Interfaces for Faults
Sort
View
148
Voted
PERCOM
2010
ACM
15 years 2 months ago
HIP: Health integration platform
—This paper introduces a new software development platform specifically designed for wireless health applications. Wireless health applications follow a unique paradigm encompas...
Jonathan Woodbridge, Hyduke Noshadi, Ani Nahapetia...
SASO
2010
IEEE
15 years 2 months ago
Extracting Overlay Invariants of Distributed Systems for Autonomic System Management
Many large-scale distributed systems have been built with great complexity to run Internet services. Due to the heterogeneity and dynamics of complex systems, it is very difficult ...
Hanhuai Shan, Guofei Jiang, Kenji Yoshihira
GLVLSI
2009
IEEE
323views VLSI» more  GLVLSI 2009»
15 years 1 months ago
MYGEN: automata-based on-line test generator for assertion-based verification
To assist in dynamic assertion-based verification, we present a method to automatically build a test vector generator from a temporal property. Based on the duality between monito...
Yann Oddos, Katell Morin-Allory, Dominique Borrion...
ACC
2011
65views more  ACC 2011»
14 years 4 months ago
Measuring the Deployment Hiccups of DNSSEC
On May 5, 2010 the last step of the DNSSEC deployment on the 13 root servers was completed. DNSSEC is a set of security extensions on the traditional DNS protocol, that aim in prev...
Vasilis Pappas, Angelos D. Keromytis
ICMI
2009
Springer
146views Biometrics» more  ICMI 2009»
15 years 10 months ago
A multimedia retrieval system using speech input
The AMIDA Automatic Content Linking Device (ACLD) monitors a conversation using automatic speech recognition (ASR), and uses the detected words to retrieve documents that are of p...
Andrei Popescu-Belis, Peter Poller, Jonathan Kilgo...