1415 search results - page 80 / 283 » Verified systems by composition from verified components |
141
click to vote
TKDE
2008
15 years 6 months ago
2008
Checking data possession in networked information systems such as those related to critical infrastructures (power facilities, airports, data vaults, defense systems, and so forth)...
125
click to vote
LCPC
1993
Springer
15 years 10 months ago
1993
Springer
This paper presents a model for concurrent programming, where programs (concurrent program structures) are represented as composition expressions over component programs with suita...
170
click to vote
CRYPTO
2005
Springer
15 years 12 months ago
2005
Springer
We study the question whether the sequential or parallel composition of two functions, each indistinguishable from a random function by non-adaptive distinguishers is secure agains...
185
click to vote
KDD
2010
ACM
15 years 4 months ago
2010
ACM
Successful software maintenance is becoming increasingly critical due to the increasing dependence of our society and economy on software systems. One key problem of software main...
193
click to vote
TON
2010
15 years 1 months ago
2010
Abstract--After the seminal work by Taqqu et al. relating selfsimilarity to heavy-tailed distributions, a number of research articles verified that aggregated Internet traffic time...