Sciweavers

3346 search results - page 415 / 670
» A Generic Rendering System
Sort
View
CRYPTO
2004
Springer
130views Cryptology» more  CRYPTO 2004»
16 years 20 days ago
Signature Schemes and Anonymous Credentials from Bilinear Maps
Abstract. We propose a new and efficient signature scheme that is provably secure in the plain model. The security of our scheme is based on a discrete-logarithm-based assumption p...
Jan Camenisch, Anna Lysyanskaya
ECAI
2004
Springer
16 years 19 days ago
Preferences for Queries in a Mediator Approach
The problem of integrating relevant information obtained from multiple heterogeneous sources is a complex task, with which biologists are now faced. In this paper, we address the p...
Alain Bidault, Sarah Cohen Boulakia, Christine Fro...
ER
2004
Springer
93views Database» more  ER 2004»
16 years 19 days ago
A Pattern and Dependency Based Approach to the Design of Process Models
Abstract. In this paper an approach for building process models for ecommerce is proposed. It is based on the assumption that the process modeling task can be methodologically supp...
Maria Bergholtz, Prasad Jayaweera, Paul Johannesso...
ICSR
2004
Springer
16 years 19 days ago
Framed Aspects: Supporting Variability and Configurability for AOP
Aspect oriented programming (AOP) seeks to decompose concerns which crosscut system structure into more manageable modules. However, current AOP techniques alone lack the configura...
Neil Loughran, Awais Rashid
VMCAI
2004
Springer
16 years 18 days ago
Automatic Inference of Class Invariants
Abstract. We present a generic framework for the automatic and modular inference of sound class invariants for class-based object oriented languages. The idea is to derive a sound ...
Francesco Logozzo