Sciweavers

1729 search results - page 211 / 346
» Generic Haskell: Applications
Sort
View
CORR
2006
Springer
105views Education» more  CORR 2006»
15 years 6 months ago
Knowledge Flow Analysis for Security Protocols
Knowledge flow analysis offers a simple and flexible way to find flaws in security protocols. A protocol is described by a collection of rules constraining the propagation of know...
Emina Torlak, Marten van Dijk, Blaise Gassend, Dan...
CSJM
2006
59views more  CSJM 2006»
15 years 6 months ago
Traveling Salesman Problem with Transportation
Traveling Salesman Problem (TSP) is a generic name that includes diverse practical models. Motivated by applications, a new model of TSP is examined -- a synthesis of classical TS...
Valeriu Ungureanu
ECRA
2006
90views more  ECRA 2006»
15 years 6 months ago
Efficient indexing technique for XML-based electronic product catalogs
Electronic product catalogs are considered as one of the main components of e-commerce applications. Efficient processing of queries on product catalogs is important for customer ...
Arzucan Özgür, Taflan I. Gündem
CORR
2007
Springer
194views Education» more  CORR 2007»
15 years 6 months ago
Algebraic Signal Processing Theory: Cooley-Tukey Type Algorithms for DCTs and DSTs
Abstract—This paper presents a systematic methodology to derive and classify fast algorithms for linear transforms. The approach is based on the algebraic signal processing theor...
Markus Püschel, José M. F. Moura
CSI
2007
91views more  CSI 2007»
15 years 6 months ago
Implementing regular cash with blind fixed-value electronic coins
We propose a generic framework for the development of an off-line peer-to-peer electronic payment system with fixed-value electronic coins. The proposed scheme simulates the issua...
Dimitrios Lekkas, Diomidis Spinellis