1916 search results - page 228 / 384 » Reasoning with class algebra |
132
click to vote
COLT
2007
Springer
15 years 10 months ago
2007
Springer
Property testing deals with tasks where the goal is to distinguish between the case that an object (e.g., function or graph) has a prespecified property (e.g., the function is li...
137
Voted
CRYPTO
2007
Springer
15 years 10 months ago
2007
Springer
We put forward a new paradigm for building hybrid encryption schemes from constrained chosen-ciphertext secure (CCCA) key-encapsulation mechanisms (KEMs) plus authenticated symmet...
162
click to vote
OTM
2007
Springer
15 years 10 months ago
2007
Springer
Abstract. Recent contributions have uncovered the potential of network coding, i.e. algebraic mixing of multiple information flows in a network, to provide enhanced security in pa...
172
click to vote
CCECE
2006
IEEE
15 years 10 months ago
2006
IEEE
To help programmers of high-performance computing (HPC) systems avoid communication-related errors, we employ a formal process algebra, Communicating Sequential Processes (CSP), w...
116
Voted
CCA
2005
Springer
15 years 9 months ago
2005
Springer
A function f is continuous iff the pre-image f −1[V ] of any open setV is open again. Dual to this topological7 property, f is called open iff the image f [U] of any open set U ...