3082 search results - page 459 / 617 » Deviation Analysis: A New Use of Model Checking |
138
click to vote
SRDS
2006
IEEE
16 years 10 days ago
2006
IEEE
Distributed snapshots are an important building block for distributed systems, and, among other applications, are useful for constructing efficient checkpointing protocols. In ad...
139
click to vote
MOBIHOC
2009
ACM
16 years 6 months ago
2009
ACM
In this paper, we consider a non-saturated IEEE 802.11 based wireless network. We use a three-way fixed point to model the node behavior with Bernoulli packet arrivals and determi...
160
click to vote
BMCBI
2010
15 years 6 months ago
2010
Background: Conserved gene clusters are groups of genes that are located close to one another in the genomes of several species. They tend to code for proteins that have a functio...
182
click to vote
BMCBI
2006
15 years 6 months ago
2006
Background: Modeling of gene expression data from time course experiments often involves the use of linear models such as those obtained from principal component analysis (PCA), i...
166
click to vote
ACSC
2005
IEEE
15 years 12 months ago
2005
IEEE
This paper introduces a novel approach towards direct interaction with large display systems. Monocular computer vision is utilised to avoid restraints imposed by input devices. T...