Sciweavers

1893 search results - page 195 / 379
» Computational composites
Sort
View
ICSOC
2007
Springer
14 years 5 months ago
Service Selection Based on Non-functional Properties
Service-oriented Architecture supports software to be composed from services dynamically. Selecting and composing appropriate services according to business process, policies and n...
Stephan Reiff-Marganiec, HongQing Yu, Marcel Tilly
LICS
2006
IEEE
14 years 4 months ago
Independence and Concurrent Separation Logic
A compositional Petri net based semantics is given to a simple pointer-manipulating language. The model is then applied to give a notion of validity to the judgements made by conc...
Jonathan Hayman, Glynn Winskel
SKG
2005
IEEE
14 years 4 months ago
An Integrated Database Benchmark Suite
This paper presents an integrated database benchmark suite, which is named SIMS. SIMS offers generic benchmarks, custom benchmarks, and hybrid benchmarks to users on a unified Web ...
Hoe Jin Jeong, Sang Ho Lee
ANTS
2004
Springer
121views Algorithms» more  ANTS 2004»
14 years 4 months ago
Function Field Sieve in Characteristic Three
In this paper we investigate the efficiency of the function field sieve to compute discrete logarithms in the finite fields F3n . Motivated by attacks on identity based encrypti...
Robert Granger, Andrew J. Holt, Dan Page, Nigel P....
CRYPTO
2004
Springer
139views Cryptology» more  CRYPTO 2004»
14 years 4 months ago
How to Compress Rabin Ciphertexts and Signatures (and More)
Ordinarily, RSA and Rabin ciphertexts and signatures are log N bits, where N is a composite modulus; here, we describe how to “compress” Rabin ciphertexts and signatures (among...
Craig Gentry