2468 search results - page 361 / 494 » Aggregation operators 2003 |
ESORICS
2003
Springer
14 years 2 months ago
2003
Springer
Abstract. Proofs of security protocols typically employ simple abstractions of cryptographic operations, so that large parts of such proofs pendent of cryptographic details. The ty...
USENIX
2004
13 years 10 months ago
2004
With the advent of large-scale, wide-area networking testbeds, researchers can deploy long-running distributed services that interact with other resources on the Web. The CoDeeN C...
LISA
2003
13 years 10 months ago
2003
This paper presents three simple techniques for improving network service using relatively unknown features of many existing networks. The resulting system provides greater reliab...
LISA
2003
13 years 10 months ago
2003
Often network components work correctly, yet end-to-end services don’t. This happens if configuration parameters of components are set to incorrect values. Configuration is a fu...
SIGMOD
2003
ACM
14 years 9 months ago
2003
ACM
The Aurora system [1] is an experimental data stream management system with a fully functional prototype. It includes both a graphical development environment, and a runtime syste...