3901 search results - page 674 / 781 » software 2008 |
123
Voted
CCGRID
2008
IEEE
15 years 10 months 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...
113
click to vote
CDC
2008
IEEE
15 years 10 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...
127
Voted
CEC
2008
IEEE
15 years 10 months 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...
131
click to vote
CEC
2008
IEEE
15 years 10 months 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...
119
click to vote
CEC
2008
IEEE
15 years 10 months 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 ...