2719 search results - page 87 / 544 » Exposing Application Alternatives |
136
click to vote
CAV
2006
Springer
15 years 9 months ago
2006
Springer
We show how to find and fix faults in Boolean programs by extending the program to a game. In the game, the protagonist can select an alternative implementation for an incorrect st...
138
click to vote
FECS
2006
15 years 6 months ago
2006
- Many small businesses require distributed information systems but do not have the resources to develop, host or maintain them. An alternative approach may be to offer the softwar...
126
click to vote
CCE
2008
15 years 5 months ago
2008
This paper addresses the problem of the optimal design of batch plants with imprecise demands and proposes an alternative treatment of the imprecision by using fuzzy concepts. For...
169
click to vote
EUROPAR
2010
Springer
15 years 3 months ago
2010
Springer
In the numerical solution of large-scale eigenvalue problems, Davidson-type methods are an increasingly popular alternative to Krylov eigensolvers. The main motivation is to avoid ...
181
click to vote
IMCSIT
2010
15 years 3 months ago
2010
Abstract--The paper proposes a model which allows integration of services published by independent providers into scientific or business workflows. Optimization algorithms are prop...