11345 search results - page 1825 / 2269 » Foundations of Computer Science |
152
click to vote
SPIN
2004
Springer
16 years 6 days 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...
179
click to vote
STACS
2004
Springer
16 years 6 days ago
2004
Springer
OrthogonalVariableSpreadingFactor(OVSF)codesareusedinUMTStosharetheradiospectrum among several connections of possibly different bandwidth requirements. The combinatorial core of t...
240
click to vote
ACSC
2003
IEEE
16 years 5 days 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...
194
click to vote
ACSC
2003
IEEE
16 years 5 days 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...
178
click to vote
FOCS
2003
IEEE
16 years 5 days 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...