Sciweavers

4454 search results - page 729 / 891
» Designing components for e-services
Sort
View
LICS
1996
IEEE
15 years 10 months ago
Reactive Modules
We present a formal model for concurrent systems. The model represents synchronous and asynchronous components in a uniform framework that supports compositional (assume-guarantee)...
Rajeev Alur, Thomas A. Henzinger
HT
1996
ACM
15 years 10 months ago
The Flag Taxonomy of Open Hypermedia Systems
This paper presents a taxonomy for open hypermedia systems. The purpose of the Flag1 taxonomy is manifold: 1 to provide a framework to classify and concisely describe individual s...
Kasper Østerbye, Uffe Kock Wiil
MM
1996
ACM
150views Multimedia» more  MM 1996»
15 years 10 months ago
Adaptive Rate-Controlled Scheduling for Multimedia Applications
We present a framework for integrated scheduling of continuous media (CM) and other applications. The framework, called ARC scheduling, consists of a rate-controlled on-line CPU sc...
David K. Y. Yau, Simon S. Lam
ICTAI
1993
IEEE
15 years 10 months ago
Concrete Browsing of a Graphical Toolkit Library
The guidar project aims to support the complete activity of Graphical User Interface Development And Reuse. We propose to organize the system as a collaborative architecture of in...
Denys Duchier
FSE
1993
Springer
89views Cryptology» more  FSE 1993»
15 years 10 months ago
Parallel FFT-Hashing
Parallel FFT-Hashing was designed by C. P. Schnorr and S. Vaudenay in 1993. The function is a simple and light weight hash algorithm with 128-bit digest. Its basic component is a m...
Claus-Peter Schnorr, Serge Vaudenay