30267 search results - page 5458 / 6054 » Process Modelling Languages |
192
click to vote
MICCAI
1999
Springer
15 years 11 months ago
1999
Springer
Abstract. A system for interactive, 3–D, craniofacial surgery simulation is presented. It is used for the 3–D simulation of osteotomies of the facial and skull bones and for th...
188
click to vote
SP
1998
IEEE
15 years 11 months ago
1998
IEEE
This paper presents results from analyzing the vulnerability of security-critical software applications to malicious threats and anomalous events using an automated fault injectio...
182
click to vote
CONCUR
2006
Springer
15 years 10 months ago
2006
Springer
One of the advantages of temporal-logic model-checking tools is their ability to accompany a negative answer to the correctness query by a counterexample to the satisfaction of the...
197
click to vote
ICSE
2000
IEEE-ACM
15 years 10 months ago
2000
IEEE-ACM
Software engineering has traditionally focussed on functional requirements and how to build software that has few bugs and can be easily maintained. Most design approaches include...
199
click to vote
KDD
2000
ACM
15 years 10 months ago
2000
ACM
We describe an application of data mining and decision analysis to the problem of die-level functional test in integrated circuit manufacturing. Integrated circuits are fabricated...