12774 search results - page 398 / 2555 » A Framework for Proof Systems |
224
Voted
ACNS
2003
Springer
16 years 28 days ago
2003
Springer
In this paper, we first propose a novel Public License Infrastructure (PLI) that uses cryptographic threshold secret sharing schemes to provide decentralized public license service...
210
Voted
LISA
2007
15 years 10 months ago
2007
Usher is a virtual machine management system designed to impose few constraints upon the computing environment under its management. Usher enables administrators to choose how the...
242
Voted
CASCON
2008
15 years 9 months ago
2008
Databases are growing rapidly in scale and complexity. High performance, availability, and further service level agreements need to be satisfied under any circumstances to please ...
211
Voted
AUTOMATICA
2008
15 years 7 months ago
2008
This article introduces results on the control of gene networks, in the context of piecewise-affine models. We propose an extension of this well-documented class of models, where ...
224
Voted
CORR
2010
Springer
15 years 7 months ago
2010
Springer
- Nowadays computing becomes increasingly mobile and pervasive. One of the important steps in pervasive computing is context-awareness. Context-aware pervasive systems rely on info...