2116 search results - page 238 / 424 » Resource Analysis by Sup-interpretation |
151
click to vote
PDP
2003
IEEE
15 years 9 months ago
2003
IEEE
Over the last decade, a dramatic increase has been observed in the need for generating and organising data in the course of large parameter studies, performance analysis, and soft...
132
click to vote
SISW
2003
IEEE
15 years 9 months ago
2003
IEEE
Several architectures have been recently proposed that store relational data in encrypted form on untrusted relational databases. Such architectures permit the creation of novel I...
153
click to vote
WOLLIC
2010
Springer
15 years 9 months ago
2010
Springer
In type logical categorial grammar the analysis of an expression is a resource-conscious proof. Anaphora represents a particular challenge to this approach in that the antecedent ...
160
click to vote
DEXAW
2002
IEEE
15 years 9 months ago
2002
IEEE
We aim to encourage and support public participation in heritage through the development of Cultural Heritage Forums, a kind of cultural web portal that enables active participati...
126
click to vote
HPDC
2002
IEEE
15 years 9 months ago
2002
IEEE
Increasing complexity of distributed applications and commodity of resources through grids are making the tasks of deploying those applications harder. There is a clear need for s...