114 search results - page 1 / 23 » Design and Verification of Distributed Multi-media Systems |
ICPADS
2005
IEEE
13 years 10 months ago
2005
IEEE
Fingerprint verification is one of the most reliable personal identification methods in biometrics. In this paper, an effective fingerprint verification system is presented. We de...
FMOODS
2003
13 years 5 months ago
2003
Performance analysis of computing systems, in particular distributed computing systems, is a complex process. Analysing the complex flows and interactions between a set of distribu...
FM
1999
Springer
13 years 8 months ago
1999
Springer
ECRTS
1998
IEEE
13 years 8 months ago
1998
IEEE
In this paper we demonstrate the usage of a formal description technique for real-time systems called PLCAutomaton [4] by applying this method to a real-world case study. To this ...