15754 search results - page 2746 / 3151 » Programs are Knowledge Bases |
180
click to vote
APSEC
2008
IEEE
16 years 2 months ago
2008
IEEE
Modifying an application usually means to stop the application, apply the changes, and start the application again. That means, the application is not available for at least a sho...
183
click to vote
ASWEC
2008
IEEE
16 years 2 months ago
2008
IEEE
The past ten years have seen a radical shift in business application software development. Rather than developing software from scratch using a conventional programming language, ...
201
click to vote
CCGRID
2008
IEEE
16 years 2 months ago
2008
IEEE
Understanding the potential and implications of asymmetric multi-core processors for cluster computing is necessary, as these processors are rapidly becoming mainstream components...
185
click to vote
CEC
2008
IEEE
16 years 2 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...
235
click to vote
CEC
2008
IEEE
16 years 2 months ago
2008
IEEE
— Many deterministic algorithms in the context of constrained optimization require the first-order derivatives, or the gradient vectors, of the objective and constraint function...