2004 search results - page 317 / 401 » Comparison of Model Checking Tools for Information Systems |
99
Voted
WWW
2003
ACM
16 years 16 days ago
2003
ACM
In this paper, we describe the design of a profile generator toolkit, which aims to automatically create realistic user profiles for a mobile personalized portal service. These pr...
128
click to vote
PRDC
2005
IEEE
15 years 5 months ago
2005
IEEE
This paper reports our experience on the development of a design-for-safety (DFS) workbench called Risk Assessment and Management Environment (RAME) for microelectronic avionics s...
103
click to vote
BMCBI
2010
14 years 12 months ago
2010
Background: Large-scale genomic studies often identify large gene lists, for example, the genes sharing the same expression patterns. The interpretation of these gene lists is gen...
BIOCOMP
2006
15 years 1 months ago
2006
Health Care Management is one of the most important and most important research areas of the new millennium. The main purpose of this work was to analyze the data on malaria patie...
121
click to vote
BMCBI
2008
14 years 12 months ago
2008
Background: Spatially mapped large scale gene expression databases enable quantitative comparison of data measurements across genes, anatomy, and phenotype. In most ongoing effort...