111 search results - page 5 / 23 » Evidence Explorer: A Tool for Exploring Model-Checking Proof... |
CHI
2005
ACM
14 years 7 months ago
2005
ACM
This paper presents X-PRT, a new cognitive modeling tool supporting activities ranging from interface design to basic cognitive research. X-PRT provides a graphical model developm...
ATVA
2004
Springer
13 years 11 months ago
2004
Springer
While model checking suffers from the state space explosion problem, theorem proving is quite tedious and impractical for verifying complex designs. In this work, we present a veri...
SAMOS
2009
Springer
14 years 2 months ago
2009
Springer
System-level computer architecture simulations create large volumes of simulation data to explore alternative architectural solutions. Interpreting and drawing conclusions from thi...
INFOVIS
1998
IEEE
13 years 11 months ago
1998
IEEE
Geographic Visualization, sometimes called cartographic visualization, is a form of information visualization in which principles from cartography, geographic information systems ...
GROUP
2009
ACM
14 years 2 months ago
2009
ACM
Interdisciplinary design has created challenges in design collaboration due to the difficulty in communicating and coordinating across disciplines. Many tools have been developed ...