3901 search results - page 674 / 781 » software 2008 |
151
click to vote
CCGRID
2008
IEEE
16 years 25 days ago
2008
IEEE
Hidden information is a critical issue for the successful delivery of SLAs in grid systems. It arises when the agents (hardware and software resources) employed to serve a task be...
140
click to vote
CDC
2008
IEEE
16 years 24 days 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...
153
click to vote
CEC
2008
IEEE
16 years 24 days ago
2008
IEEE
Abstract— Model Checking is a well-known and fully automatic technique for checking software properties, usually given as temporal logic formulae on the program variables. Most o...
159
click to vote
CEC
2008
IEEE
16 years 24 days ago
2008
IEEE
— Many complex, real world phenomena are difficult to study directly using controlled experiments. Instead, the use of computer simulations has become commonplace as a cost effe...
153
click to vote
CEC
2008
IEEE
16 years 24 days ago
2008
IEEE
—We present an approach for automated evolutionary design of the functionary of driving agent, able to operate a software model of fast running car. The objective of our work is ...