1615 search results - page 269 / 323 » Distributed Forward Checking |
ESCIENCE
2006
IEEE
14 years 5 months ago
2006
IEEE
In production Grids for scientific applications, service and resource failures must be detected and addressed quickly. In this paper, we describe the monitoring infrastructure use...
MEMOCODE
2006
IEEE
14 years 5 months ago
2006
IEEE
Timed I/O Automata (TIOA) is a mathematical framework for modeling and verification of distributed systems that involve discrete and continuous dynamics. TIOA can be used for exa...
ACOM
2006
Springer
14 years 5 months ago
2006
Springer
Interaction protocols enable agents to communicate with each other effectively. Whereas several approaches exist to specify interaction protocols, none of them has design tools th...
MMSEC
2006
ACM
14 years 5 months ago
2006
ACM
In the watermark detection scenario, also known as zero-bit watermarking, a watermark, carrying no hidden message, is inserted in content. The watermark detector checks for the pr...
CSB
2005
IEEE
14 years 4 months ago
2005
IEEE
We present a software package which can detect homozygous SNPs and indels on a eukaryotic genome scale from millions of shotgun reads. Matching seeds of a few kmer words are found...