420 search results - page 56 / 84 » Efficient Implementation of the Orlandi Protocol |
103
click to vote
IJFCS
2006
15 years 15 days ago
2006
For successful software verification, model checkers must be capable of handling a large number of program variables. Traditional, BDD-based model checking is deficient in this re...
178
click to vote
SIGMOD
2008
ACM
16 years 20 days ago
2008
ACM
We demonstrate XRPC, a minimal XQuery extension that enables distributed querying between heterogeneous XQuery engines. The XRPC language extension enhances the existing concept o...
123
click to vote
SICHERHEIT
2010
14 years 10 months ago
2010
Intrusion-tolerant replication enables the construction of systems that tolerate a finite number of malicious faults. An arbitrary number of faults can be tolerated during system ...
120
Voted
CASES
2007
ACM
15 years 4 months ago
2007
ACM
Software Defined Radio (SDR) is an emerging embedded domain where the physical layer of wireless protocols is implemented in software rather than the traditional application speci...
143
Voted
JSAC
2010
14 years 7 months ago
2010
The capabilities of sensor networking devices are increasing at a rapid pace. It is therefore not impractical to assume that future sensing operations will involve real time (inela...