860 search results - page 24 / 172 » A Process Algebra Based Verification of a Production System |
JACIII
2008
13 years 7 months ago
2008
images are observed with cameras and abstract features extracted using image processing. System output is the status of printing pressure, divided into excessive pressure (EP), goo...
BIOSIG
2008
13 years 9 months ago
2008
Abstract: Biometric authentication is often considered to enhance identity verification. The use of biometrics also introduces new challenges to protect the privacy of the subjects...
ICSE
1999
IEEE-ACM
13 years 12 months ago
1999
IEEE-ACM
Formal verification methods are used only sparingly in software development. The most successful methods to date are based on the use of model checking tools. To use such he user ...
FDL
2007
IEEE
13 years 11 months ago
2007
IEEE
Abstract-- Analog and Mixed Signal (AMS) designs are important integrated systems that link digital circuits to the analog world. Following the success of PSL verification methodol...
BPM
2000
Springer
13 years 11 months ago
2000
Springer
Workflow management systems facilitate the everyday operation of business processes by taking care of the logistic control of work. In contrast to traditional information systems, ...