16430 search results - page 2840 / 3286 » On Computable Tree Functions |
172
click to vote
POLICY
2007
Springer
16 years 1 months ago
2007
Springer
This paper presents ongoing research and current results on the development of flexible access control infrastructure for complex resource provisioning (CRP) in Grid-based applica...
170
click to vote
PPDP
2007
Springer
16 years 1 months ago
2007
Springer
We propose a framework to construct web-oriented user interfaces in a high-level way by exploiting declarative programming techniques. Such user interfaces are intended to manipul...
173
click to vote
PVM
2007
Springer
16 years 1 months ago
2007
Springer
Formal program verification often requires creating a model of the program and running it through a model-checking tool. However, this model-creation step is itself error prone, t...
190
click to vote
SCALESPACE
2007
Springer
16 years 1 months ago
2007
Springer
In this paper, we address the problem of estimating mesoscale dynamics of atmospheric layers from satellite image sequences. Relying on a physically sound vertical decomposition of...
193
click to vote
SEKE
2007
Springer
16 years 1 months ago
2007
Springer
High performance computing (HPC) is gaining popularity in solving scientific applications. Using the current programming standards, however, it takes an HPC expert to efficiently ...