2004 search results - page 40 / 401 » Comparison of Model Checking Tools for Information Systems |
105
click to vote
TVCG
2011
14 years 6 months ago
2011
—We present a flexible interactive 3D morpho-kinematical modeling application for astrophysics. Compared to other systems, our application reduces the restrictions on the physic...
109
click to vote
IEEEHPCS
2010
14 years 10 months ago
2010
Model checking is a formal verification method widely accepted in the web service world because of its capability to reason about service behaviors, at their process-level. It ha...
121
click to vote
ATVA
2006
Springer
15 years 3 months ago
2006
Springer
Generic representatives have been proposed for the effective combination of symmetry reduction and symbolic representation with BDDs in non-probabilistic model checking. This appro...
CHI
2005
ACM
16 years 6 days ago
2005
ACM
A predictive tool to simulate human visual search behavior would help interface designers inform and validate their design. Such a tool would benefit from a semantic component tha...
IUI
2003
ACM
15 years 5 months ago
2003
ACM
Interactive tools to help users author plans or processes are essential in a variety of domains. KANAL helps users author sound plans by simulating them, checking for a variety of...