Sciweavers

4971 search results - page 187 / 995
» Observation systems
Sort
View
NSDI
2007
15 years 8 months ago
A Location-Based Management System for Enterprise Wireless LANs
: The physical locations of clients and access points in a wireless LAN may have a large impact on network performance. However, today’s WLAN management tools do not provide info...
Ranveer Chandra, Jitendra Padhye, Alec Wolman, Bri...
CORR
2010
Springer
102views Education» more  CORR 2010»
15 years 6 months ago
Stable Takens' Embeddings for Linear Dynamical Systems
Takens' Embedding Theorem remarkably established that concatenating M previous outputs of a dynamical system into a vector (called a delay coordinate map) can be a one-to-one...
Han Lun Yap, Christopher J. Rozell
CAV
2004
Springer
130views Hardware» more  CAV 2004»
15 years 10 months ago
Global Model-Checking of Infinite-State Systems
Abstract. We extend the automata-theoretic framework for reasoning about infinitestate sequential systems to handle also the global model-checking problem. Our framework is based o...
Nir Piterman, Moshe Y. Vardi
ICDCS
2009
IEEE
16 years 3 months ago
Modeling Probabilistic Measurement Correlations for Problem Determination in Large-Scale Distributed Systems
With the growing complexity in computer systems, it has been a real challenge to detect and diagnose problems in today’s large-scale distributed systems. Usually, the correlatio...
Jing Gao, Guofei Jiang, Haifeng Chen, Jiawei Han
BNCOD
2009
162views Database» more  BNCOD 2009»
15 years 7 months ago
Answering Multiple-Item Queries in Data Broadcast Systems
A lot of research has been done on answering single-item queries, only a few have looked at answering multiple-item queries in data broadcast systems. The few that did, have propos...
Adesola Omotayo, Ken Barker, Moustafa A. Hammad, L...