10263 search results - page 1823 / 2053 » From Use Cases to System Operation Specifications |
169
click to vote
MM
2010
ACM
15 years 6 months ago
2010
ACM
Quality control and resource optimization are challenging problems in peer-assisted video streaming systems, due to their large scales and unreliable peer behavior. Such systems a...
195
Voted
ECOOP
2010
Springer
15 years 11 months ago
2010
Springer
We reduce JavaScript to a core calculus structured as a small-step operational semantics. We present several peculiarities of the language and show that our calculus models them. W...
174
click to vote
SACMAT
2006
ACM
16 years 4 days ago
2006
ACM
We propose an integrity measurement approach based on information flow integrity, which we call the Policy-Reduced Integrity Measurement Architecture (PRIMA). The recent availabi...
151
click to vote
IUI
2004
ACM
15 years 11 months ago
2004
ACM
Technical support procedures are typically very complex. Users often have trouble following printed instructions describing how to perform these procedures, and these instructions...
149
click to vote
WISA
2004
Springer
15 years 11 months ago
2004
Springer
Abstract. Cryptographic algorithms are used in a large variety of different applications to ensure security services. It is, thus, very interesting to investigate various implement...