2935 search results - page 163 / 587 » An Integrated Approach to High Integrity Software Verificati... |
180
click to vote
FMICS
2010
Springer
15 years 7 months 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...
196
click to vote
BPM
2006
Springer
15 years 8 months ago
2006
Springer
Abstract. Web services composition is an emerging paradigm for enabling application integration within and across organizational boundaries. Current Web services composition propos...
149
click to vote
AVBPA
2003
Springer
15 years 11 months ago
2003
Springer
A new approach for the personal identification using hand images is presented. This paper attempts to improve the performance of palmprint-based verification system by integrating ...
176
click to vote
TCAD
2002
15 years 6 months ago
2002
Many tasks in CAD, such as equivalence checking, property checking, logic synthesis, and false paths analysis require efficient Boolean reasoning for problems derived from circuits...
169
click to vote
DATE
2009
IEEE
16 years 1 months ago
2009
IEEE
Abstract—Reliable and verifiable hardware, software and content usage metering (HSCM) are of primary importance for wide segments of e-commerce including intellectual property a...