Sciweavers

2586 search results - page 413 / 518
» Automatic Abstraction for Congruences
Sort
View
DAIS
2003
15 years 1 months ago
Facilitating the Portability of User Applications in Grid Environments
Abstract. Grid computing promises the ability to connect geographically and organizationally distributed resources to increase eective computational power, resource utilization, a...
Paul Z. Kolano
LISA
2004
15 years 1 months ago
Auto-configuration by File Construction: Configuration Management with newfig
A tool is described that provides for the automatic configuration of systems from a single description. The tool, newfig, uses two simple concepts to provide its functionality: bo...
William LeFebvre, David Snyder
NETWORKING
2004
15 years 1 months ago
Hierarchical Routing with QoS Constraints in Optical Transport Networks
Abstract. Optical Transport Networks (OTN) with automatical switching capabilities are named ASON. Hierarchical routing is required in the ASON recommendations to achieve scalabili...
Xavier Masip-Bruin, Sergio Sánchez-Ló...
FORTE
2003
15 years 1 months ago
A Lightweight Formal Analysis of a Multicast Key Management Scheme
Abstract. This paper describes the analysis of Pull-Based Asynchronous Rekeying Framework (ARF), a recently proposed solution to the scalable group key management problem in secure...
Mana Taghdiri, Daniel Jackson
NSDI
2004
15 years 1 months ago
Democratizing Content Publication with Coral
CoralCDN is a peer-to-peer content distribution network that allows a user to run a web site that offers high performance and meets huge demand, all for the price of a cheap broad...
Michael J. Freedman, Eric Freudenthal, David Mazi&...