2004 search results - page 147 / 401 » Comparison of Model Checking Tools for Information Systems |
167
Voted
JUCS
2008
15 years 5 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...
143
Voted
ISMIR
2001
Springer
15 years 9 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...
171
click to vote
TSE
1998
15 years 4 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...
133
Voted
ECSA
2008
Springer
15 years 6 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...
257
click to vote
POPL
2007
ACM
16 years 5 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 ...