6253 search results - page 246 / 1251 » Use Case Modeling Guidelines |
109
Voted
AAAI
1990
15 years 4 months ago
1990
In this paper we describe the concept of physical impossibility as an alternative to the specification of fault models. These axioms can be used to exclude impossible diagnoses si...
141
click to vote
CORR
2010
Springer
15 years 3 months ago
2010
Springer
---------------------------------------------------ABSTRACT-----------------------------------------------In the literature of Round-Robin scheduling scheme, each job is processed,...
125
click to vote
PPOPP
2005
ACM
15 years 9 months ago
2005
ACM
As increasing the performance of single-threaded processors becomes increasingly difficult, consumer desktop processors are moving toward multi-core designs. One way to enhance th...
135
Voted
BMCBI
2008
15 years 3 months ago
2008
Background: Illumina bead-based arrays are becoming increasingly popular due to their high degree of replication and reported high data quality. However, little attention has been...
155
click to vote
INFORMATICALT
2007
15 years 3 months ago
2007
A modified version of the Bellare and Rogaway (1993) adversarial model is encoded using Asynchronous Product Automata (APA). A model checker tool, Simple Homomorphism Verificatio...