173 search results - page 31 / 35 » Data Flow Testing as Model Checking |
103
click to vote
JCIT
2007
15 years 1 months ago
2007
Online games represent a burgeoning market sector of increasing economic importance. The distinctive entertainment-oriented features of such games provide various experiential val...
124
click to vote
ICTAI
2010
IEEE
14 years 11 months ago
2010
IEEE
Abstract--Today's molecular biology is confronted with enormous amounts of data, generated by new high-throughput technologies, along with an increasing number of biological m...
142
click to vote
BMCBI
2007
15 years 1 months ago
2007
Background: The identification of transcription factors (TFs) associated with a biological process is fundamental to understanding its regulatory mechanisms. From microarray data,...
121
click to vote
IJMTM
2007
15 years 1 months ago
2007
Large, industry-wide interoperability projects use syntax-based standards approaches to accomplish interoperable data exchange among enterprise applications. We are investigating S...
152
click to vote
WOA
2010
14 years 11 months ago
2010
This paper deals with the definition of a strong authentication model, coupling usual password/PIN based methods with a biometric matching, over a Multi Agent distributed infrastru...