9067 search results - page 600 / 1814 » Adaptive Model Checking |
168
click to vote
CISIS
2008
IEEE
16 years 1 months ago
2008
IEEE
Some researchers have illustrated how individual and groups of bacteria forage for nutrients and to model it as a distributed optimization process, which is called the Bacterial F...
202
click to vote
ICAC
2008
IEEE
16 years 1 months ago
2008
IEEE
Creating good adaptation policies is critical to building complex autonomic systems since it is such policies that define the system configuration used in any given situation. W...
198
click to vote
ISORC
2008
IEEE
16 years 1 months ago
2008
IEEE
—An increasing number of real-time systems are embedded in mission critical systems such as target tracking systems, in which workloads may dynamically vary, for example, dependi...
212
click to vote
WCNC
2008
IEEE
16 years 1 months ago
2008
IEEE
A primary constraint in wireless sensor networks (WSNs) is obtaining reliable and prolonged network operation with power-limited sensor nodes. Most of the approaches to the energy ...
209
click to vote
ROMAN
2007
IEEE
16 years 1 months ago
2007
IEEE
–This paper presents a novel affect-sensitive human-robot interaction framework for rehabilitation of children with autism spectrum disorder (ASD) where the robot can detect the ...