Sciweavers

4343 search results - page 438 / 869
» Replication Techniques for Availability
Sort
View
NAR
2006
110views more  NAR 2006»
15 years 7 months ago
EMAGE: a spatial database of gene expression patterns during mouse embryo development
EMAGE (http://genex.hgu.mrc.ac.uk/Emage/database) is a freely available, curated database of gene expression patterns generated by in situ techniques in the developing mouse embry...
Jeffrey H. Christiansen, Yiya Yang, Shanmugasundar...
IJFCS
2007
77views more  IJFCS 2007»
15 years 6 months ago
Optimal Construction of Sense of Direction in a Torus by a Mobile Agent
Sense of direction is a property of the edge-labeling of a network whose availability facilitates computations and often decreases their complexity. In this paper we consider the ...
Hanane Becha, Paola Flocchini
AC
2005
Springer
15 years 6 months ago
Software model checking with SPIN
The aim of this chapter is to give an overview of the theoretical foundation and the practical application of logic model checking techniques for the verification of multi-threade...
Gerard J. Holzmann
164
Voted
TCOM
2008
106views more  TCOM 2008»
15 years 6 months ago
Performance analysis on LDPC-Coded systems over quasi-static (MIMO) fading channels
In this paper, we derive closed form upper bounds on the error probability of low-density parity-check (LDPC) coded modulation schemes operating on quasi-static fading channels. Th...
Jingqiao Zhang, Heung-No Lee
TDSC
2008
87views more  TDSC 2008»
15 years 6 months ago
Credit Card Fraud Detection Using Hidden Markov Model
Due to a rapid advancement in the electronic commerce technology, the use of credit cards has dramatically increased. As credit card becomes the most popular mode of payment for bo...
Abhinav Srivastava, Amlan Kundu, Shamik Sural, Aru...