Sciweavers

5244 search results - page 465 / 1049
» Structural Complexity of AvgBPP
Sort
View
ENTCS
2006
121views more  ENTCS 2006»
15 years 7 months ago
A Logic for Graphs with QoS
We introduce a simple graph logic that supports specification of Quality of Service (QoS) properties of applications. The idea is that we are not only interested in representing w...
GianLuigi Ferrari, Alberto Lluch-Lafuente
IS
2008
15 years 7 months ago
From conceptual models to schemata: An object-process-based data warehouse construction method
Data warehouse modeling is a complex task, which involves knowledge of business processes of the domain of discourse, understanding the structural and behavioral system's con...
Dov Dori, Roman Feldman, Arnon Sturm
CSI
2007
91views more  CSI 2007»
15 years 7 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
JSC
2008
162views more  JSC 2008»
15 years 7 months ago
Approximate factorization of multivariate polynomials using singular value decomposition
We describe the design, implementation and experimental evaluation of new algorithms for computing the approximate factorization of multivariate polynomials with complex coefficie...
Erich Kaltofen, John P. May, Zhengfeng Yang, Lihon...
JSW
2008
95views more  JSW 2008»
15 years 7 months ago
Architecture Support for Behavior-based Adaptive Checkpointing
Checkpointing is a commonly used approach to provide system fault-tolerance. However, using a constant checkpointing frequency may compromise the system's overall performance ...
Nianen Chen, Shangping Ren