16430 search results - page 932 / 3286 » On Computable Tree Functions |
205
click to vote
IDEAS
2006
IEEE
16 years 1 months ago
2006
IEEE
Updating XML documents submitted to schema constraints requires incremental validation, i.e. checking the parts of the document concerned by the updates. We propose to correct sub...
223
click to vote
INFOSCALE
2006
ACM
16 years 1 months ago
2006
ACM
According to the special features of the dynamic heterogeneous grid environment, a loose-coupled and scalable resource model is described by a hybrid multi-level tree reflecting a...
184
click to vote
ISMVL
2005
IEEE
16 years 1 months ago
2005
IEEE
It is believed that quantum computing will begin to have a practical impact in industry around year 2010. We propose an approach to test generation and fault localization for a wi...
184
click to vote
WONS
2005
IEEE
16 years 1 months ago
2005
IEEE
— We present a performance evaluation of the Pulse protocol operating in a peer-to-peer mobile ad hoc network environment. The Pulse protocol utilizes a periodic flood (the puls...
172
click to vote
ICALP
2005
Springer
16 years 1 months ago
2005
Springer
We define an algorithmic paradigm, the stack model, that captures many primal-dual and local-ratio algorithms for approximating covering and packing problems. The stack model is ...