Sciweavers

1523 search results - page 107 / 305
» Partially ordered secretaries
Sort
View
111
Voted
RTSS
2007
IEEE
15 years 7 months ago
Robust Priority Assignment for Fixed Priority Real-Time Systems
This paper focuses on priority assignment for realtime systems using fixed priority scheduling. It introduces and defines the concept of a “robust” priority ordering: the most...
Robert I. Davis, Alan Burns
180
Voted
ARTDB
1997
Springer
269views Database» more  ARTDB 1997»
15 years 4 months ago
Parallel Event Detection in Active Database Systems: The Heart of the Matter
This paper proposes a strategy for parallel composite event detection in Active database systems (DBS). Up to now, the detection is sequential and totally synchronized, and thus p...
Ulrike Jaeger, Johann K. Obermaier
127
Voted
ICFP
2006
ACM
16 years 21 days ago
Access control in a core calculus of dependency
The Dependency Core Calculus (DCC) is an extension of the computational lambda calculus that was designed in order to capture the notion of dependency that arises in information-f...
Martín Abadi
93
Voted
RELMICS
2009
Springer
15 years 7 months ago
Contact Relations with Applications
Using relation algebra, we generalize Aumann’s notion of a contact relation and that of a closure operation from powersets to general membership relations and their induced parti...
Gunther Schmidt, Rudolf Berghammer
ICIC
2007
Springer
15 years 6 months ago
On the Convergence Properties of Quantum-Inspired Multi-Objective Evolutionary Algorithms
Abstract. In this paper, a general framework of quantum-inspired multiobjective evolutionary algorithms is proposed based on the basic principles of quantum computing and general s...
Zhiyong Li, Zhe Li, Günter Rudolph