288 search results - page 1 / 58 » Correct Performance of Transaction Capabilities |
ACSD
2001
IEEE
13 years 8 months ago
2001
IEEE
The correctness of an optimisation of the Transport Capabilities Application Part of the Signalling System No. 7 is formalised as a branching bisimulation which is relaxed to allo...
ADHOCNETS
2009
Springer
13 years 11 months ago
2009
Springer
—We introduce a novel error correction scheme that uses the implicit encoding capability of Random Network Coding. This scheme does not add redundancy to the data prior to transm...
CORR
2010
Springer
12 years 11 months ago
2010
Springer
Abstract: Transactional network data can be thought of as a list of oneto-many communications (e.g., email) between nodes in a social network. Most social network models convert th...
CAISE
2000
Springer
13 years 8 months ago
2000
Springer
Serializability is a prominent correctness criterion for an interleaved execution of concurrent transactions. Serializability guarantees that the interleaved execution of concurre...
SRDS
1997
IEEE
13 years 8 months ago
1997
IEEE
Transaction processing systems are judged by users to be correctly functioning not only if their transactions are executed correctly, but also if most of them are completed within...