858 search results - page 72 / 172 » Formal Verification of Digital Systems |
83
Voted
CSEE
2000
Springer
15 years 3 months ago
2000
Springer
Accurate and complete requirements specifications are crucial for the design and implementation of high-quality software. Unfortunately, the articulation and verification of softw...
FLAIRS
2004
15 years 10 days ago
2004
Intra- and inter-speaker information, which include acoustical, speaker style, speech rate and temporal variation, despite their critical importance for the verification of claims...
86
Voted
ASE
2008
14 years 11 months ago
2008
Model checkers were originally developed to support the formal verification of high-level design models of distributed system designs. Over the years, they have become unmatched in...
78
Voted
CBMS
2008
IEEE
15 years 5 months ago
2008
IEEE
This paper reports the findings from two field studies that reveal paper-based artifacts being heavily relied upon in medical shift work despite the deployment of a mobile technol...
81
Voted
ACSC
2002
IEEE
15 years 3 months ago
2002
IEEE
This paper presents a formal notation for specifying requirements of embedded systems which exhibit continuous, real-time behaviour and move through various modes under digital co...