144 search results - page 22 / 29 » Verification of Liveness Properties in Distributed Systems |
ICDCSW
2007
IEEE
14 years 1 months ago
2007
IEEE
1 Challenges of scale have limited the development of event notification systems with strong properties, despite the urgent demand for consistency, reliability, security, and other...
BMCBI
2008
13 years 7 months ago
2008
Background: Confidence in pairwise alignments of biological sequences, obtained by various methods such as Blast or Smith-Waterman, is critical for automatic analyses of genomic d...
ICASSP
2010
IEEE
13 years 7 months ago
2010
IEEE
The mismatch between training and test environmental conditions presents a challenge to speech recognition systems. In this paper, we investigate an approach for matching the dist...
WD
2010
13 years 2 months ago
2010
Application Layer Multicast (ALM) has become a popular form of content distribution. It shows some favourable properties like inherent scalability and the overcoming of the traditi...
POPL
2005
ACM
14 years 7 months ago
2005
ACM
We introduce transactors, a fault-tolerant programming model for composing loosely-coupled distributed components running in an unreliable environment such as the internet into sy...