233 search results - page 34 / 47 » The role control center: features and case studies |
133
click to vote
FROCOS
2005
Springer
15 years 7 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...
119
click to vote
DIS
2007
Springer
15 years 5 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...
142
click to vote
DSN
2004
IEEE
15 years 5 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...
ECOOP
2006
Springer
15 years 5 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...
128
click to vote
ICDCS
2008
IEEE
15 years 8 months 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...