2004 search results - page 147 / 401 » Comparison of Model Checking Tools for Information Systems |
203
click to vote
JUCS
2008
15 years 6 months ago
2008
Abstract: Information integration applications combine data from heterogeneous sources to assist the user in solving repetitive data-intensive tasks. Currently, such applications r...
170
click to vote
ISMIR
2001
Springer
15 years 11 months ago
2001
Springer
Among other factors, high complexity and mandatory expert computer knowledge make many music IR and music analysis systems unsuitable for the majority of largely computer-illitera...
199
click to vote
TSE
1998
15 years 6 months ago
1998
—The main goal of this work is to propose a method to evaluate user interfaces using task models and logs generated from a user test of an application. The method can be incorpor...
160
click to vote
ECSA
2008
Springer
15 years 8 months ago
2008
Springer
Abstract. Architectural description languages are a useful tool for modmplex software systems at a high level of abstraction and, if based on formal methods, for enabling the early...
288
click to vote
POPL
2007
ACM
16 years 6 months ago
2007
ACM
In recent years we have seen great progress made in the area of automatic source-level static analysis tools. However, most of today's program verification tools are limited ...