2004 search results - page 40 / 401 » Comparison of Model Checking Tools for Information Systems |
145
Voted
TVCG
2011
14 years 11 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...
161
click to vote
IEEEHPCS
2010
15 years 3 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...
170
Voted
ATVA
2006
Springer
15 years 8 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...
122
click to vote
CHI
2005
ACM
16 years 5 months 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...
138
click to vote
IUI
2003
ACM
15 years 9 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...