2004 search results - page 72 / 401 » Comparison of Model Checking Tools for Information Systems |
CORR
2007
Springer
14 years 12 months ago
2007
Springer
The objective of most users for consulting any information database, information warehouse or the internet is to resolve one problem or the other. Available online or offline anno...
113
click to vote
ECIR
1998
Springer
15 years 1 months ago
1998
Springer
This paper describes an investigation in progress into the searching behaviour of end-users and how it is affected by interface design. The project focused on qualitative data gat...
SIGSOFT
2007
ACM
16 years 18 days ago
2007
ACM
Model checking techniques have traditionally dealt with temporal logic languages and automata interpreted over -words, i.e., infinite in the future but finite in the past. However...
108
click to vote
FPL
2004
Springer
15 years 5 months ago
2004
Springer
Abstract. High level modeling tools make it possible to synthesize a high performance FPGA design directly from a Simulink model. Accurate estimates of the FPGA resources required ...
103
click to vote
ER
2007
Springer
15 years 6 months ago
2007
Springer
Frequently the behaviour of an information system is functionally correct, but it does not meet some quality criteria, such as completeness, consistency, and usability. One way to...