Sciweavers

790 search results - page 56 / 158
» Designated Confirmer Signatures
Sort
View
EGOV
2010
Springer
13 years 10 months ago
Designing Quality Business Processes for E-Government Digital Services
Abstract. Research works and surveys focusing on e-Government Digital Services availability and usage, reveal that often services are available but ignored by citizens. In our hypo...
Flavio Corradini, Damiano Falcioni, Andrea Polini,...
DAC
2005
ACM
14 years 10 months ago
A new canonical form for fast boolean matching in logic synthesis and verification
? An efficient and compact canonical form is proposed for the Boolean matching problem under permutation and complementation of variables. In addition an efficient algorithm for co...
Afshin Abdollahi, Massoud Pedram
IANDC
2007
151views more  IANDC 2007»
13 years 9 months ago
Transducer-based analysis of cryptographic protocols
Cryptographic protocols can be divided into (1) protocols where the protocol steps are simple from a computational point of view and can thus be modeled by simple means, for insta...
Ralf Küsters, Thomas Wilke
TCAD
2002
145views more  TCAD 2002»
13 years 8 months ago
Automatic generation of synthetic sequential benchmark circuits
The design of programmable logic architectures and supporting computer-aided design tools fundamentally requires both a good understanding of the combinatorial nature of netlist gr...
Michael D. Hutton, Jonathan Rose, Derek G. Corneil
ICASSP
2011
IEEE
13 years 22 days ago
Beyond bag of words: Combining generative and discriminative models for natural scene categorization
This paper proposes a simple yet new and effective framework by combining generative model and discriminative model for natural scene categorization. A state-of-the-art approach f...
Zhen Li, Kim-Hui Yap, Xiao-Ming Chen