3104 search results - page 38 / 621 » Using quantitative analysis to implement autonomic IT system... |
ICRA
2002
IEEE
14 years 15 days ago
2002
IEEE
This article deals with specific aspects concerning the visual perception process of a humanoid walking machine. An active vision system provides the information about the enviro...
HICSS
2009
IEEE
14 years 2 months ago
2009
IEEE
The use of formal methods has long been advocated in the development of secure systems. Yet, methods for deriving design from requirements that guarantee retention of the intended...
IPPS
2002
IEEE
14 years 14 days ago
2002
IEEE
Abstract— In this paper, we present a novel and comprehensive resource management solution for the autonomous hot-spot convergence system (AHSCS) that uses sensor web. This solut...
ICECCS
2010
IEEE
13 years 7 months ago
2010
IEEE
Abstract—Transactional Memory (TM) is a promising technique that addresses the difficulty of parallel programming. Since TM takes responsibility for all concurrency control, TM ...
BMCBI
2004
13 years 7 months ago
2004
Background: The increasing complexity of genomic data presents several challenges for biologists. Limited computer monitor views of data complexity and the dynamic nature of data ...