2004 search results - page 347 / 401 » Comparison of Model Checking Tools for Information Systems |
105
click to vote
ENGL
2007
14 years 11 months ago
2007
—Instantaneous detection and diagnosis of various faults and break-downs in industrial processes is required to reduce production losses and damage to equipments. A solved knowle...
118
click to vote
ICMI
2010
Springer
14 years 9 months ago
2010
Springer
In order to support interactive high-fidelity prototyping of postWIMP user interactions, we propose a multi-fidelity design method based on a unifying component-based model and su...
101
click to vote
COMPLEXITY
2010
14 years 9 months ago
2010
The increasing sophistication of the tools and results of cellular and molecular neuroscience would appear to suggest that explanatory force in neuroscience is defined by reductio...
KCAP
2005
ACM
15 years 5 months ago
2005
ACM
Among the variety of alignment approaches (e.g., using machine learning, subsumption computation, formal concept analysis, etc.) similarity-based ones rely on a quantitative asses...
ROMAN
2007
IEEE
15 years 6 months ago
2007
IEEE
—Though the final goal of mobile robot navigation is to be autonomous, operators’ intelligent and skillful decisions are necessary when there are many scattered obstacles. Ther...