7766 search results - page 1430 / 1554 » Testing Nondeterminate Systems |
ICAC
2007
IEEE
14 years 3 months ago
2007
IEEE
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 ...
ICRA
2007
IEEE
14 years 3 months ago
2007
IEEE
— 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 ...
ICTAI
2007
IEEE
14 years 3 months ago
2007
IEEE
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 ...
INFOCOM
2007
IEEE
14 years 3 months ago
2007
IEEE
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...
KBSE
2007
IEEE
14 years 3 months ago
2007
IEEE
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...