2296 search results - page 358 / 460 » The Expressive Power of Synchronizations |
137
click to vote
VL
2007
IEEE
15 years 10 months ago
2007
IEEE
When creating new application programming interfaces (APIs), designers must make many decisions. These decisions affect the quality of the resulting APIs in terms of performance (...
103
click to vote
AAECC
2007
Springer
15 years 10 months ago
2007
Springer
The split-radix FFT computes a size-n complex DFT, when n is a large power of 2, using just 4n lg n−6n+8 arithmetic operations on real numbers. This operation count was first an...
110
Voted
ASIACRYPT
2007
Springer
15 years 10 months ago
2007
Springer
Abstract. In the standard general-adversary model for multi-party protocols, a global adversary structure is given, and every party must trust in this particular structure. We intr...
110
Voted
CONCUR
2007
Springer
15 years 10 months ago
2007
Springer
It is well known that bisimulation on µ-expressions cannot be finitely axiomatised in equational logic. Complete axiomatisations such as those of Milner and Bloom/´Esik necessar...
119
click to vote
ICDT
2007
ACM
15 years 10 months ago
2007
ACM
Abstract. We define and study formal privacy guarantees for information integration systems, where sources are related to a public schema by mappings given by source-to-target dep...