1833 search results - page 51 / 367 » Mechanized Verification with Sharing |
FMICS
2010
Springer
14 years 3 days ago
2010
Springer
Abstract. TTEthernet is a communication infrastructure for mixedcriticality systems that integrates dataflow from applications with different criticality levels on a single network...
ASIACRYPT
2008
Springer
14 years 1 months ago
2008
Springer
Strongly multiplicative linear secret sharing schemes (LSSS) have been a powerful tool for constructing secure multi-party computation protocols. However, it remains open whether o...
CVPR
2009
IEEE
15 years 6 months ago
2009
IEEE
Face verification has many potential applications including
filtering and ranking image/video search results on
celebrities. Since these images/videos are taken under uncontrolle...
ICPR
2006
IEEE
15 years 3 days ago
2006
IEEE
In this work we propose a probabilistic model for generic object classification from raw range images. Our approach supports a validation process in which classes are verified usi...
APLAS
2004
ACM
14 years 2 months ago
2004
ACM
This paper shows how type effect systems can be combined with model-checking techniques to produce powerful, automatically verifiable program logics for higher-order programs. The ...