Sciweavers

929 search results - page 138 / 186
» Computer assistance for model definition
Sort
View
ERCIMDL
2005
Springer
115views Education» more  ERCIMDL 2005»
15 years 6 months ago
A No-Compromises Architecture for Digital Document Preservation
Abstract. The Multivalent Document Model offers a practical, proven, nocompromises architecture for preserving digital documents of potentially any data format. We have implemented...
Thomas A. Phelps, Paul B. Watry
LAWEB
2003
IEEE
15 years 6 months ago
Towards an Ontology for Software Metrics and Indicators as the Foundation for a Cataloging Web System
In order to the software and web measurement field becomes a more robust engineering discipline it is mandatory to start reaching a common agreement between researchers and other s...
María de los Angeles Martín, Luis Ol...
DATE
2004
IEEE
143views Hardware» more  DATE 2004»
15 years 4 months ago
Fault-Tolerant Deployment of Embedded Software for Cost-Sensitive Real-Time Feedback-Control Applications
Designing cost-sensitive real-time control systems for safetycritical applications requires a careful analysis of the cost/coverage trade-offs of fault-tolerant solutions. This fu...
Claudio Pinello, Luca P. Carloni, Alberto L. Sangi...
ASIACRYPT
2008
Springer
15 years 2 months ago
Sufficient Conditions for Intractability over Black-Box Groups: Generic Lower Bounds for Generalized DL and DH Problems
Abstract. The generic (aka. black-box) group model is a valuable methodology for analyzing the computational hardness of number-theoretic problems used in cryptography. Since the p...
Andy Rupp, Gregor Leander, Endre Bangerter, Alexan...
125
Voted
CCS
2008
ACM
15 years 2 months ago
Assessing query privileges via safe and efficient permission composition
We propose an approach for the selective enforcement of access control restrictions in, possibly distributed, large data collections based on two basic concepts: i) flexible autho...
Sabrina De Capitani di Vimercati, Sara Foresti, Su...