16206 search results - page 357 / 3242 » At Issue |
173
Voted
DNA
2005
Springer
16 years 29 days ago
2005
Springer
Abstract. Fault-tolerance is a critical issue for biochemical computation. Recent theoretical work on algorithmic self-assembly has shown that error correcting tile sets are possib...
182
click to vote
ESWS
2005
Springer
16 years 29 days ago
2005
Springer
In a real world scenario Semantic Web applications must be capable to cope with the large scale, distributed, heterogeneous, unreliable and insecure environment of the World Wide W...
171
click to vote
FROCOS
2005
Springer
16 years 29 days ago
2005
Springer
Abstract. In this paper we combine rewriting techniques with verification issues. More precisely, we show how techniques for proving relative termination of term rewrite systems (...
139
Voted
ICCS
2005
Springer
16 years 29 days ago
2005
Springer
Ultimate DDDAS success demands that DDDAS simulations be increasingly reconfigurable and adaptable to a growing variety of runtime sensor feedback. Because we expect a simulation...
197
click to vote
INEX
2005
Springer
16 years 28 days ago
2005
Springer
Abstract. In its second year, the Interactive Track at INEX focused on addressing some fundamental issues of interactive XML retrieval: is element retrieval useful for searchers, w...