647 search results - page 51 / 130 » Collage, composites, construction |
FOSSACS
2009
Springer
15 years 4 months ago
2009
Springer
Abstract. Synthesis is the automatic construction of a system from its specification. In the classical synthesis algorithms it is always assumed the system is “constructed from ...
KBSE
2008
IEEE
15 years 4 months ago
2008
IEEE
Abstract—We describe BPELCheck, a tool for statically analyzing interactions of composite web services implemented in BPEL. Our algorithm is compositional, and checks each proces...
ASIACRYPT
2000
Springer
15 years 2 months ago
2000
Springer
The paper shows that some of elliptic curves over finite fields of characteristic three of composite degree are attacked by a more effective algorithm than Pollard’s ρ method...
WACV
2005
IEEE
15 years 3 months ago
2005
IEEE
A novel inversion technique is proposed to compute parametric maps showing the temperature, density and chemical composition of cosmic hot gas from X-ray hyper-spectral images. Th...
EUROCRYPT
1999
Springer
15 years 2 months ago
1999
Springer
We present a single-database computationally private information retrieval scheme with polylogarithmic communication complexity. Our construction is based on a new, but reasonable...