2558 search results - page 431 / 512 » Model Composition Contracts |
157
click to vote
CRYPTO
2007
Springer
15 years 10 months ago
2007
Springer
Round complexity is a central measure of efficiency, and characterizing the round complexity of various cryptographic tasks is of both theoretical and practical importance. We show...
157
Voted
ICSOC
2007
Springer
15 years 10 months ago
2007
Springer
Abstract. A self-managed system is both self-assembling and selfhealing. Service-oriented Computing (SoC) architectures, such as a Web Services Architecture (WS-A) illustrate a hig...
126
click to vote
MIDDLEWARE
2007
Springer
15 years 10 months ago
2007
Springer
Large-scale, value-added Internet services composed of independent cooperating or competing services will soon become common place. Several groups have addressed the performance, c...
104
click to vote
RAID
2007
Springer
15 years 10 months ago
2007
Springer
Attacks against privileged applications can be detected by analyzing the stream of system calls issued during process execution. In the last few years, several approaches have been...
121
click to vote
SAS
2007
Springer
15 years 10 months ago
2007
Springer
Denotational static analysis of Java bytecode has a nice and clean compositional definition and an efficient implementation with binary decision diagrams. But it models only the f...