16206 search results - page 357 / 3242 » In this issue |
160
click to vote
DNA
2005
Springer
16 years 8 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...
166
click to vote
ESWS
2005
Springer
16 years 8 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...
159
click to vote
FROCOS
2005
Springer
16 years 8 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 (...
116
click to vote
ICCS
2005
Springer
16 years 7 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...
180
click to vote
INEX
2005
Springer
16 years 7 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...