4328 search results - page 289 / 866 » A New Kind of Science |
175
click to vote
GI
2004
Springer
16 years 6 days ago
2004
Springer
Abstract: Recently, Distributed Hash Tables evolved to a preferred approach for decentralized data management in widely distributed systems. Due to their crucial characteristics ...
177
click to vote
GRID
2004
Springer
16 years 6 days ago
2004
Springer
Allowing loose coupling between complex e-Science applications has many advantages, such as being able to easily incorporate new applications and to flexibly specify how the appl...
159
click to vote
ICCS
2004
Springer
16 years 6 days ago
2004
Springer
Because of the continued development of web services protocols and the apparent convergence of Grid services with web services, it is becoming evident that web services will be an ...
184
click to vote
RTA
2004
Springer
16 years 5 days ago
2004
Springer
We describe the system AProVE, an automated prover to verify (innermost) termination of term rewrite systems (TRSs). For this system, we have developed and implemented efficient al...
183
click to vote
SPIN
2004
Springer
16 years 5 days ago
2004
Springer
We propose a new framework for black-box conformance testing of real-time systems, where specifications are modeled as nondeterministic and partially-observable timed automata. We...