Sciweavers

4604 search results - page 689 / 921
» Concurrency in Synchronous Systems
Sort
View
99
Voted
CRYPTO
2003
Springer
93views Cryptology» more  CRYPTO 2003»
15 years 5 months ago
Universal Composition with Joint State
Abstract. Cryptographic systems often involve running multiple concurrent instances of some protocol, where the instances have some amount of joint state and randomness. (Examples ...
Ran Canetti, Tal Rabin
107
Voted
IFL
2003
Springer
144views Formal Methods» more  IFL 2003»
15 years 5 months ago
Building an Interface Between Eden and Maple: A Way of Parallelizing Computer Algebra Algorithms
Eden is a parallel functional language extending Haskell with processes. This paper describes the implementation of an interface between the Eden language and the Maple system. The...
Rafael Martínez, Ricardo Pena
SIGSOFT
2009
ACM
15 years 5 months ago
Qos-driven runtime adaptation of service oriented architectures
Runtime adaptation is recognized as a viable way for a serviceoriented system to meet QoS requirements in its volatile operating environment. In this paper we propose a methodolog...
Valeria Cardellini, Emiliano Casalicchio, Vincenzo...
109
Voted
TOOLS
1997
IEEE
15 years 4 months ago
Propagator: A Family of Patterns
PROPAGATOR is a family of patterns for consistently updating objects in a dependency network. The propagator patterns are found in such diverse applications as MAKE, WWW, spreadsh...
Peter H. Feiler, Walter F. Tichy
SIGCOMM
1997
ACM
15 years 4 months ago
A Framework for Robust Measurement-Based Admission Control
— Measurement-based admission control (MBAC) is an attractive mechanism to concurrently offer quality of service (QoS) to users, without requiring a priori traffic specificatio...
Matthias Grossglauser, David N. C. Tse