1615 search results - page 44 / 323 » Distributed Forward Checking |
CORR
2010
Springer
13 years 7 months ago
2010
Springer
Quantum Cryptography or Quantum key distribution (QKD) is a technique that allows the secure distribution of a bit string, used as key in cryptographic protocols. When it was note...
IPPS
2007
IEEE
14 years 2 months ago
2007
IEEE
—We present the first experimental results on the implementation of a multi-core model checking algorithm for the SPIN model checker. These algorithms specifically target shared-...
IPPS
2002
IEEE
14 years 19 days ago
2002
IEEE
A natural trend in most of the engineering disciplines is the construction of systems from components. This has the potential to reduce costs and increase reliability, provided th...
CONCUR
2007
Springer
13 years 11 months ago
2007
Springer
Abstract. In this paper, we provide a transformation from the branching bisimulation problem for infinite, concurrent, data-intensive systems in linear process format, into solving...
DEXAW
2006
IEEE
14 years 1 months ago
2006
IEEE
Traditional methods for integrity checking in relational or deductive databases heavily rely on the assumption that data have integrity before the execution of updates. In this wa...