Sciweavers

4690 search results - page 338 / 938
» An operational semantics for Scheme
Sort
View
INDOCRYPT
2003
Springer
16 years 3 hour ago
Stronger Security Bounds for OMAC, TMAC, and XCBC
OMAC, TMAC and XCBC are CBC-type MAC schemes which are provably secure for arbitrary message length. In this paper, we present a more tight upper bound on Advmac for each scheme, w...
Tetsu Iwata, Kaoru Kurosawa
176
Voted
EMSOFT
2001
Springer
15 years 11 months ago
Rate-Based Resource Allocation Models for Embedded Systems
: Run-time executives and operating system kernels for embedded systems have long relied exclusively on static priority scheduling of tasks to ensure timing constraints and other c...
Kevin Jeffay, Steve Goddard
FC
1998
Springer
134views Cryptology» more  FC 1998»
15 years 11 months ago
Group Blind Digital Signatures: A Scalable Solution to Electronic Cash
In this paper we construct a practical group blind signature scheme. Our scheme combines the already existing notions of blind signatures and group signatures. It is an extension o...
Anna Lysyanskaya, Zulfikar Ramzan
156
Voted
AE
1997
Springer
15 years 11 months ago
Adaptation on the Evolutionary Time Scale: A Working Hypothesis and Basic Experiments
In the pertinent literature, an ongoing discussion can be found about whether evolutionary algorithms are better suited for optimization or adaptation. Unfortunately, the pertinent...
Ralf Salomon, Peter Eggenberger
APNOMS
2006
Springer
15 years 10 months ago
Configuration Management Policy in QoS-Constrained Grid Networks
Abstract. In Grid service, resource management is important to support capability for good quality and efficiency for the computing and storage service. In order to provide this re...
Hyewon Song, Chan-Hyun Youn, Changhee Han, Youngjo...