2004 search results - page 86 / 401 » Comparison of Model Checking Tools for Information Systems |
ICRA
2002
IEEE
15 years 4 months ago
2002
IEEE
Minimally invasive surgery (MIS) involves a multidimensional series of tasks requiring a synthesis between visual information and the kinematics and dynamics of the surgical tools...
DSD
2005
IEEE
15 years 5 months ago
2005
IEEE
This paper proposes a validation approach, based on simulation, which addresses problems related to both state space explosion of formal methods and low coverage of informal metho...
TVCG
2008
14 years 11 months ago
2008
Traditional geospatial information visualizations often present views that restrict the user to a single perspective. When zoomed out, local trends and anomalies become suppressed ...
ICSE
2008
IEEE-ACM
16 years 20 days ago
2008
IEEE-ACM
Graphical models are omnipresent in the software engineering field, but most current graphical modeling languages do not scale with the increasing size and complexity of today...
CMPB
2010
14 years 10 months ago
2010
Ligand prediction has been driven by a fundamental desire to understand more about how biomolecules recognize their ligands and by the commercial imperative to develop new drugs. ...