17582 search results - page 3429 / 3517 » From Distributed Sequential Computing to Distributed Paralle... |
129
Voted
APN
2010
Springer
15 years 7 months ago
2010
Springer
Service-oriented computing proposes services as building blocks which can be composed to complex systems. To reason about the correctness of a service, its communication protocol n...
114
click to vote
SIGGRAPH
2010
ACM
15 years 6 months ago
2010
ACM
Material design is the process by which artists specify the reflectance
properties of a surface, such as its diffuse color and specular
roughness. We present a user study to eval...
123
click to vote
NDSS
2000
IEEE
15 years 6 months ago
2000
IEEE
This paper describes automatic protocol generation (APG for short), a novel mechanism to generate security protocols automatically. With APG, the protocol designer inputs the spec...
130
click to vote
FOCS
1997
IEEE
15 years 6 months ago
1997
IEEE
A central issue in the design of modern communication networks is that of providing performance guarantees. This issue is particularly important if the networks support real-time t...
110
Voted
VLDB
1997
ACM
15 years 6 months ago
1997
ACM
The current integrated developments in network and computing give rise to a technical infrastructure for the information society which one may variously circumscribe by terms such...