4693 search results - page 158 / 939 » Verifying Hybrid Systems |
SEUS
2009
IEEE
15 years 8 months ago
2009
IEEE
121
click to vote
IEEECIT
2009
IEEE
15 years 7 months ago
2009
IEEE
—Software clustering is a method for increasing software system understanding and maintenance. Software designers, first use MDG graph to model the structure of software system. ...
128
click to vote
ICCCN
2008
IEEE
15 years 7 months ago
2008
IEEE
: In this paper, we propose an autonomic management framework (ASGrid) to address the requirements of emerging large-scale applications in hybrid grid and sensor network systems. T...
IROS
2006
IEEE
15 years 7 months ago
2006
IEEE
— Online self collision detection system for humanoid robots is an essentially important function for developing sensor based behaviors without worrying about breaking hardware. ...
115
click to vote
GECCO
2009
Springer
15 years 5 months ago
2009
Springer
This paper introduces TestFul, a framework for testing stateful systems and focuses on object-oriented software. TestFul employs a hybrid multi-objective evolutionary algorithm, t...