2004 search results - page 84 / 401 » Comparison of Model Checking Tools for Information Systems |
121
click to vote
QEST
2006
IEEE
15 years 5 months ago
2006
IEEE
Abstract— This paper reports on our efforts to link an industrial state-of-the-art modelling tool to academic state-of-the-art analysis algorithms. In a nutshell, we enable timed...
AIED
2009
Springer
15 years 6 months ago
2009
Springer
Inquiry learning involves the learner acquiring new concepts and skills by means of carrying out an investigation. Some previous studies have looked into how these learning activit...
HICSS
2006
IEEE
15 years 6 months ago
2006
IEEE
The central idea in reference modeling is the reutilization of the business knowledge contained in reference models for the construction of specific information models. The orient...
114
click to vote
BMCBI
2008
14 years 12 months ago
2008
Background: Data mining in large DNA sequences is a major challenge in microbial genomics and bioinformatics. Oligonucleotide usage (OU) patterns provide a wealth of information f...
106
click to vote
ISMIR
2005
Springer
15 years 5 months ago
2005
Springer
Harmonic analysis is a standard musicological tool for understanding many pieces of Western classical music and making comparisons among them. Traditionally, this analysis is done...