5085 search results - page 810 / 1017 » Multidimensional Design by Examples |
161
click to vote
CORR
2010
Springer
15 years 6 months ago
2010
Springer
Dereferencing a URI returns a representation of the current state of the resource identified by that URI. But, on the Web representations of prior states of a resource are also av...
141
Voted
CONCURRENCY
2008
15 years 6 months ago
2008
Abstract. The global quiescence of a distributed computation (or distributed termination detection) is an important problem. Some concurrent programming languages and systems provi...
157
click to vote
CORR
2010
Springer
15 years 6 months ago
2010
Springer
Molecular recognition, which is essential in processing information in biological systems, takes place in a crowded noisy biochemical environment and requires the recognition of a ...
177
click to vote
CORR
2010
Springer
15 years 6 months ago
2010
Springer
Refinement types sharpen systems of simple and dependent types by offering expressive means to more precisely classify well-typed terms. We present a system of refinement types for...
185
click to vote
CORR
2008
Springer
15 years 6 months ago
2008
Springer
Abstract--Realistic mobility models are fundamental to evaluate the performance of protocols in mobile ad hoc networks. Unfortunately, there are no mobility models that capture the...