2838 search results - page 463 / 568 » Verifying Controlled Components |
CEC
2009
IEEE
14 years 5 months ago
2009
IEEE
— Despite their success as optimization methods, evolutionary algorithms face many difficulties to design artifacts with complex structures. According to paleontologists, living...
COMPSAC
2009
IEEE
14 years 5 months ago
2009
IEEE
With the ongoing trend towards the globalization of software systems and their development, components in these systems might not only work together, but may end up evolving indep...
CSE
2009
IEEE
14 years 5 months ago
2009
IEEE
—Autonomic computing is a paradigm that aims at reducing administrative overhead by providing autonomic managers to make applications self-managing. In order to better deal with ...
CSE
2009
IEEE
14 years 5 months ago
2009
IEEE
—When the Internet was conceived, its fundamental operation was envisioned to be point-to-point communication allowing anybody to talk directly to anybody. With its increasing su...
ICAS
2009
IEEE
14 years 5 months ago
2009
IEEE
Policies form an important part of management and can be an effective means of implementing self-adaptation in pervasive systems. Most policy-based systems focus on large-scale ne...