1342 search results - page 57 / 269 » MEMS Design And Verification |
ESTIMEDIA
2003
Springer
15 years 3 months ago
2003
Springer
In order to extensively explore design space one has to specify a n a very abstract level. Transforming a specification into a correct implementation is usually an error prone tas...
108
click to vote
ATVA
2008
Springer
14 years 11 months ago
2008
Springer
UPPAAL PORT is a new tool for component-based design and analysis of embedded systems. It operates on the hierarchically structured continuous time component modeling language Save...
ICPR
2008
IEEE
15 years 4 months ago
2008
IEEE
Palmprint recognition, as one of the most promising biometrics, has received considerable recent biometric research interest. Among various palmprint recognition techniques, codin...
ICALP
2004
Springer
15 years 3 months ago
2004
Springer
We initiate the study of mechanisms with verification for one-parameter agents. We give an algorithmic characterization of such mechanisms and show that they are provably better ...
STTT
2002
14 years 9 months ago
2002
This paper introduces a special section of the STTT journal containing a selection of papers that were presented at the 7th International SPIN workshop, Stanford, August 30 - Septe...