173 search results - page 31 / 35 » Data Flow Testing as Model Checking |
JCIT
2007
14 years 9 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...
ICTAI
2010
IEEE
14 years 7 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...
112
click to vote
BMCBI
2007
14 years 9 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,...
IJMTM
2007
14 years 9 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...
116
click to vote
WOA
2010
14 years 7 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...