2004 search results - page 382 / 401 » Comparison of Model Checking Tools for Information Systems |
ISCC
2006
IEEE
15 years 5 months ago
2006
IEEE
Abstract— Today data sources are pervasive and their number is growing tremendously. Current tools are not prepared to exploit this unprecedented amount of information and to cop...
OZCHI
2006
ACM
15 years 5 months ago
2006
ACM
Large displays are everywhere. However, the computer mouse remains the most common interaction tool for such displays. We propose a new approach for fingertip interaction with lar...
105
click to vote
EMSOFT
2005
Springer
15 years 5 months ago
2005
Springer
We propose a method for fine grain QoS control of real-time applications. The method allows adapting the overall system behavior by adequately setting the quality level parameter...
PCI
2005
Springer
15 years 5 months ago
2005
Springer
Nowadays, the number of protein sequences being stored in central protein databases from labs all over the world is constantly increasing. From these proteins only a fraction has b...
95
Voted
CW
2003
IEEE
15 years 5 months ago
2003
IEEE
Virtual reality technology is reported that the use of virtual reality(VR) as an educational tool can increase student interests, understanding and creative learning because of en...