858 search results - page 98 / 172 » Formal Verification of Digital Systems |
108
click to vote
WOA
2010
14 years 9 months ago
2010
Abstract. This is a position paper reporting the motivations, the starting point and the guidelines that characterise the MERCURIO5 project proposal, submitted to MIUR PRIN 20096 ....
ICDAR
2009
IEEE
14 years 8 months ago
2009
IEEE
This paper proposes a syntactic method for detection and correction of misrecognized mathematical formulae for a practical mathematical OCR system. Linear monadic context-free tre...
FDL
2003
IEEE
15 years 4 months ago
2003
IEEE
Assuring correctness of digital designs is one of the major tasks in the system design flow. Formal methods have been proposed to accompany commonly used simulation approaches. I...
WWW
2005
ACM
15 years 11 months ago
2005
ACM
The correctness of the Z semantics of OWL is the theoretical foundation of using software engineering techniques to verify Web ontologies. As OWL and Z are based on different logi...
JCDL
2005
ACM
15 years 4 months ago
2005
ACM
The Exploratorium, an interactive hand-on science museum, is developing an online collection of science learning and teaching resources to better serve educators’ needs for peda...