2004 search results - page 272 / 401 » Comparison of Model Checking Tools for Information Systems |
178
click to vote
ASE
1998
15 years 4 months ago
1998
Software process improvement requires high level formalisms for describing project-specific, organizational and quality aspects. These formalisms must be convenient not only for ...
125
click to vote
OR
2005
Springer
15 years 10 months ago
2005
Springer
The fare planning problem for public transport is to design a system of fares that maximize the revenue. We introduce a nonlinear optimization model to approach this problem. It i...
157
click to vote
DOCENG
2003
ACM
15 years 9 months ago
2003
ACM
We present an approach on how to investigate what kind of semantic information is regularly associated with the structural markup of scientific articles. This approach addresses ...
154
click to vote
BMCBI
2010
15 years 4 months ago
2010
Background: Oligonucleotide arrays have become one of the most widely used high-throughput tools in biology. Due to their sensitivity to experimental conditions, normalization is ...
119
click to vote
WEBI
2009
Springer
15 years 11 months ago
2009
Springer
—A Search Support Engine (SSE) is implemented based on the basic principles of Information Retrieval Support Systems (IRSS) and Information Seeking Support Systems (ISSS). An SSE...