6147 search results - page 1023 / 1230 » Requirements, Architectures and Risks |
190
click to vote
CORR
2010
Springer
15 years 7 months ago
2010
Springer
We propose a natural generalisation of asynchronous bounded delay (ABD) network models. The commonly used ABD models assume a known bound on message delay. This assumption is ofte...
200
click to vote
CORR
2010
Springer
15 years 7 months ago
2010
Springer
Abstract--This paper focuses on data structures for multicore reachability, which is a key component in model checking algorithms and other verification methods. A cornerstone of a...
186
click to vote
CORR
2010
Springer
15 years 7 months ago
2010
Springer
With the advent of large-scale cloud computing infrastructures, network extension has emerged as a major challenge in the management of modern enterprise networks. Many enterprise...
203
click to vote
CORR
2008
Springer
15 years 7 months ago
2008
Springer
Sosemanuk is a new synchronous software-oriented stream cipher, corresponding to Profile 1 of the ECRYPT call for stream cipher primitives. Its key length is variable between 128 ...
172
click to vote
CPHYSICS
2008
15 years 7 months ago
2008
The relation between atomistic structure, architecture, molecular weight and material properties is a basic concern of modern soft material science. This by now goes far beyond st...