140 search results - page 13 / 28 » An Automated Approach to Verifying Diagnosability in Multi-a... |
ICARCV
2006
IEEE
14 years 1 months ago
2006
IEEE
— Login access control refers to securing the entry point to a computing system. The login system is responsible for this service and must provide a number of tasks, the main tas...
HF
2002
13 years 7 months ago
2002
This paper discusses a formal and rigorous approach to the analysis of operator interaction with machines. It addresses the acute problem of detecting design errors in human-machi...
WSC
1997
13 years 9 months ago
1997
Model abstraction using metamodeling has demonstrated the capability to facilitate software reuse, large scale model integration, verification, and validation. Once restricted to...
KR
1992
Springer
13 years 11 months ago
1992
Springer
While it has been realized for quite some time within AI that abduction is a general model of explanation for a variety of tasks, there have been no empirical investigations into ...
SCAM
2008
IEEE
14 years 2 months ago
2008
IEEE
Ensuring the correctness and reliability of software systems is one of the main problems in software development. Model checking, a static analysis method, is preponderant in impr...