6800 search results - page 1161 / 1360 » Testing with Functions as Specifications |
RAS
2010
13 years 6 months ago
2010
In this paper we extend the control methodology based on Extended Markov Tracking (EMT) by providing the control algorithm with capabilities to calibrate and even partially recons...
SSS
2010
Springer
13 years 6 months ago
2010
Springer
Complex systems experience dramatic changes in behavior and can undergo transitions from functional to dysfunctional states. An unstable system is prone to dysfunctional collective...
TCOM
2010
13 years 6 months ago
2010
Dynamic spectrum access (DSA) is an integral part of cognitive radio technology aiming at efficient management of the available power and bandwidth resources. The present paper d...
TPDS
2010
13 years 6 months ago
2010
—Various sensor types, e.g., temperature, humidity, and acoustic, sense physical phenomena in different ways, and thus, are expected to have different sensing models. Even for th...
WINET
2010
13 years 6 months ago
2010
—We propose a novel Self-Balancing Supply/Demand (SBSD) reactive MANET protocol. Our algorithm dynamically discovers publications matching specified subscriptions by controlled f...