Sciweavers

11172 search results - page 2116 / 2235
» Testing Physical Systems
Sort
View
108
Voted
ICAC
2007
IEEE
15 years 10 months ago
Server-Level Power Control
We present a technique that controls the peak power consumption of a high-density server by implementing a feedback controller that uses precise, system-level power measurement to ...
Charles Lefurgy, Xiaorui Wang, Malcolm Ware
126
Voted
ICRA
2007
IEEE
157views Robotics» more  ICRA 2007»
15 years 10 months ago
Towards Mapping of Cities
— Map learning is a fundamental task in mobile robotics because maps are required for a series of high level applications. In this paper, we address the problem of building maps ...
Patrick Pfaff, Rudolph Triebel, Cyrill Stachniss, ...
153
Voted
ICTAI
2007
IEEE
15 years 10 months ago
Establishing Logical Rules from Empirical Data
We review a method of generating logical rules, or axioms, from empirical data. This method, using closed set properties of formal concept analysis, has been previously described ...
John L. Pfaltz
174
Voted
INFOCOM
2007
IEEE
15 years 10 months ago
TriBiCa: Trie Bitmap Content Analyzer for High-Speed Network Intrusion Detection
Abstract—Deep packet inspection (DPI) is often used in network intrusion detection and prevention systems (NIDPS), where incoming packet payloads are compared against known attac...
N. Sertac Artan, H. Jonathan Chao
136
Voted
KBSE
2007
IEEE
15 years 10 months ago
An automated approach to monitoring and diagnosing requirements
Monitoring the satisfaction of software requirements and diagnosing what went wrong in case of failure is a hard problem that has received little attention in the Software and Req...
Yiqiao Wang, Sheila A. McIlraith, Yijun Yu, John M...
« Prev « First page 2116 / 2235 Last » Next »