2004 search results - page 284 / 401 » Comparison of Model Checking Tools for Information Systems |
127
click to vote
AICCSA
2006
IEEE
15 years 10 months ago
2006
IEEE
Although E-learning has advanced considerably in the last decade, some of its aspects, such as E-testing, are still in the development phase. Authoring tools and test banks for E-...
178
click to vote
TEI
2012
ACM
13 years 12 months ago
2012
ACM
This paper introduces DressUp, a computerized system for designing dresses with 3D input using the form of the human body as a guide. It consists of a body-sized physical mannequi...
127
click to vote
BMCBI
2006
15 years 4 months ago
2006
Background: Microarrays used for gene expression studies yield large amounts of data. The processing of such data typically leads to lists of differentially-regulated genes. A com...
144
click to vote
NAR
2006
15 years 4 months ago
2006
The University of California Santa Cruz Genome Browser Database (GBD) contains sequence and annotation data for the genomes of about a dozen vertebrate species and several major m...
150
click to vote
ICCS
2009
Springer
15 years 11 months ago
2009
Springer
Abstract. Contemporary high-end Terascale and Petascale systems are composed of hundreds of thousands of commodity multi-core processors interconnected with high-speed custom netwo...