2004 search results - page 100 / 401 » Comparison of Model Checking Tools for Information Systems |
127
click to vote
EUROMICRO
2005
IEEE
15 years 10 months ago
2005
IEEE
In multi-disciplinary development, where various domain specific tools are used by developers to specify and analyse a system, efficient system development requires that the model...
104
click to vote
CAISE
2006
Springer
15 years 8 months ago
2006
Springer
Abstract. In this paper we present our approach to model and verify workflowintensive systems. Besides the functional properties (given by the temporal workflow description) we aug...
237
click to vote
CORR
2010
Springer
14 years 11 months ago
2010
Springer
In this paper we present a method for reformulating the Recommender Systems problem in an Information Retrieval one. In our tests we have a dataset of users who give ratings for s...
130
click to vote
BMCBI
2006
15 years 4 months ago
2006
Background: Analysis of DNA microarray data takes as input spot intensity measurements from scanner software and returns differential expression of genes between two conditions, t...
134
click to vote
AIEDU
2005
15 years 4 months ago
2005
To help a student in an introductory physics course do quantitative homework problems, an intelligent tutoring system must determine information of an algebraic nature. This paper...