860 search results - page 40 / 172 » A Process Algebra Based Verification of a Production System |
JACIII
2006
13 years 7 months ago
2006
om which abstract features are extracted with image processing. The output of the system is the state of printing pressure, which is divided into 3 states: EXCESSIVE PRESSURE (EP),...
HICSS
1998
IEEE
13 years 12 months ago
1998
IEEE
Software has migrated from large mainframe based support to personal computer support and more recently to groupware or, more specifically, group support systems (GSS). GSS produc...
ICASSP
2009
IEEE
14 years 2 months ago
2009
IEEE
We show how an SVM based acoustic speaker verification system can be significantly improved in incorporating new visual features that capture the speaker’s “Body Language.” ...
SAFECOMP
1998
Springer
13 years 11 months ago
1998
Springer
A method is described for the analysis and the verification of safety in software systems. The method offers a formal notation for describing the software structure, the means for ...
ISSRE
2007
IEEE
13 years 9 months ago
2007
IEEE
This paper describes a study performed in an industrial setting that attempts to build predictive models to identify parts of a Java system with a high probability of fault. The s...