1812 search results - page 333 / 363 » Dynamic Updating of Software Systems Based on Aspects |
114
Voted
CDC
2008
IEEE
15 years 11 months ago
2008
IEEE
— Based on our previously developed tuning procedure for fractional order proportional integral controller (FO-PI), we present in this paper an extensive comparative experimental...
136
click to vote
ICRA
1999
IEEE
15 years 8 months ago
1999
IEEE
In this paper, we describe the development of our BEST nano-robot soccer team composed of 5 robots, a vision system, and communication modules. Each nano-robot is designed with an...
154
click to vote
ESOP
2006
Springer
15 years 8 months ago
2006
Springer
We present and solve a path optimization problem on programs. Given a set of program nodes, called critical nodes, we find a shortest path through the program's control flow g...
155
click to vote
AIME
2007
Springer
15 years 10 months ago
2007
Springer
Software applications that work with biomedical data have significant knowledge-management requirements. Formal knowledge models and knowledge-based methods can be very useful in m...
143
click to vote
CAV
2003
Springer
15 years 9 months ago
2003
Springer
Abstract. The theme of this paper is certifying software for state estimation of dynamic systems, which is an important problem found in spacecraft, aircraft, geophysical, and in m...