2004 search results - page 355 / 401 » Comparison of Model Checking Tools for Information Systems |
115
click to vote
GIS
1992
ACM
15 years 3 months ago
1992
ACM
Machine learning techniques such as tree induction have become accepted tools for developing generalisations of large data sets, typically for use with production rule systems in p...
DIS
2006
Springer
15 years 3 months ago
2006
Springer
One of the primary goals in discovery science is to understand the human scientific reasoning processes. Despite sporadic success of automated discovery systems, few studies have s...
FOIS
2010
15 years 1 months ago
2010
Abstract. The paper presents preliminary results in the area of ontological engineering for historical research. Historical information systems are still in the initial stage of de...
JUCS
2007
14 years 11 months ago
2007
: Mapping the specification IMS Learning Design and the Course Management System Moodle is a logical step forward on interoperability between eLearning systems and specifications i...
111
click to vote
SAC
2009
ACM
15 years 4 months ago
2009
ACM
This paper presents a novel software engineering approach for developing a dynamic web interface that meets the quality criterion of “WYDIWYS” - What You Do Is What You See. T...