11345 search results - page 1825 / 2269 » Foundations of Computer Science |
124
click to vote
SPIN
2004
Springer
15 years 10 months ago
2004
Springer
The notion that certain procedures are atomic provides a valuable partial specification for many multithreaded software systems. Several existing tools verify atomicity by showing...
132
click to vote
STACS
2004
Springer
15 years 10 months ago
2004
Springer
OrthogonalVariableSpreadingFactor(OVSF)codesareusedinUMTStosharetheradiospectrum among several connections of possibly different bandwidth requirements. The combinatorial core of t...
189
click to vote
ACSC
2003
IEEE
15 years 10 months ago
2003
IEEE
The relative difference between two data values is of interest in a number of application domains including temporal and spatial applications, schema versioning, data warehousing...
157
click to vote
ACSC
2003
IEEE
15 years 10 months ago
2003
IEEE
As the Internet and enterprise wide distributed systems become more prevalent in business IT systems, numerous advanced COTS (commercial off-the-shelf) middleware technologies hav...
146
click to vote
FOCS
2003
IEEE
15 years 10 months ago
2003
IEEE
We introduce a unifying framework for proving that predicate P is hard-core for a one-way function f, and apply it to a broad family of functions and predicates, reproving old res...