3108 search results - page 237 / 622 » The Elements of Computer Credibility |
175
click to vote
GRAPHICSINTERFACE
2004
15 years 8 months ago
2004
Radiosity is a widely used technique for global illumination. Typically the computation is performed offline and the result is viewed interactively. We present a technique for com...
145
click to vote
ENTCS
2008
15 years 6 months ago
2008
RZ is a tool which translates axiomatizations of mathematical structures to program specifications using the realizability interpretation of logic. This helps programmers correctl...
148
click to vote
COMPUTING
2004
15 years 6 months ago
2004
In this paper we propose a new stabilized three-field formulation applied to the advection-diffusion equation. Using finite elements with SUPG stabilization in the interior of the...
194
click to vote
ECOWS
2010
Springer
15 years 4 months ago
2010
Springer
OSIRIS is a middleware for the composition and orchestration of distributed web services that follows a P2P decentralized approach to process execution, providing already some deg...
164
click to vote
TCS
2011
15 years 1 months ago
2011
We formulate and study a new computational model for dynamic data. In this model, the data changes gradually and the goal of an algorithm is to compute the solution to some proble...