Sciweavers

3483 search results - page 305 / 697
» Forward
Sort
View
CP
2004
Springer
15 years 10 months ago
Full Dynamic Substitutability by SAT Encoding
Symmetry in constraint problems can be exploited to greatly improve search performance. A form of symmetry that has been the subject of considerable research is value interchangeab...
Steven David Prestwich
DEXAW
2004
IEEE
206views Database» more  DEXAW 2004»
15 years 10 months ago
Adaptive Query Processing and the Grid: Opportunities and Challenges
Grid technologies have been developed in response to an increase in demand for computing applications designed to yield the benefits from collaboration, data sharing and sophistic...
Anastasios Gounaris, Norman W. Paton, Rizos Sakell...
COMPLIFE
2006
Springer
15 years 10 months ago
A New Approach to Flux Coupling Analysis of Metabolic Networks
Flux coupling analysis is a method to identify blocked and coupled reactions in a metabolic network at steady state. We present a new approach to flux coupling analysis, which uses...
Abdelhalim Larhlimi, Alexander Bockmayr
COORDINATION
2006
Springer
15 years 10 months ago
A WSDL-Based Type System for WS-BPEL
We tackle the problem of providing rigorous formal foundations to current software engineering technologies for web services. We focus on two of the most used XML-based languages f...
Alessandro Lapadula, Rosario Pugliese, Francesco T...
CRYPTO
2006
Springer
134views Cryptology» more  CRYPTO 2006»
15 years 10 months ago
Round-Optimal Composable Blind Signatures in the Common Reference String Model
We build concurrently executable blind signatures schemes in the common reference string model, based on general complexity assumptions, and with optimal round complexity. Namely, ...
Marc Fischlin