233 search results - page 34 / 47 » The role control center: features and case studies |
188
click to vote
FROCOS
2005
Springer
15 years 11 months ago
2005
Springer
We present one way of combining a logical framework and first-order logic. The logical framework is used as an interface to a first-order theorem prover. Its main purpose is to k...
165
click to vote
DIS
2007
Springer
15 years 10 months ago
2007
Springer
In this work we study the mining of top-K frequent closed itemsets, a recently proposed variant of the classical problem of mining frequent closed itemsets where the support thresh...
195
click to vote
DSN
2004
IEEE
15 years 9 months ago
2004
IEEE
We present the concept of alternative functionality for improving dependability in distributed embedded systems. Alternative functionality is a mechanism that complements traditio...
136
click to vote
ECOOP
2006
Springer
15 years 9 months ago
2006
Springer
A variety of application domains are interactive in nature: a primary task involves responding to external actions. In this paper, we introduce explicit programming language suppor...
177
Voted
ICDCS
2008
IEEE
16 years 16 days ago
2008
IEEE
The multi-level storage architecture has been widely adopted in servers and data centers. However, while prefetching has been shown as a crucial technique to exploit the sequentia...