597 search results - page 70 / 120 » E-Process Design and Assurance Using Model Checking |
113
Voted
ATVA
2007
Springer
15 years 6 months ago
2007
Springer
One of the prerequisites for information society is secure and reliable communication among computing systems. Accordingly, network security appliances become key components of inf...
133
Voted
ACL
2003
15 years 4 months ago
2003
An investment of effort over the last two years has begun to produce a wealth of data concerning computational psycholinguistic models of syntax acquisition. The data is generated...
106
click to vote
DAC
2003
ACM
15 years 7 months ago
2003
ACM
Coverage estimation for model checking quantifies the completeness of a set of properties. We present an improved version of the algorithm of Hoskote et al. [7] that applies to a...
130
Voted
SMI
1999
IEEE
15 years 6 months ago
1999
IEEE
Inspection of reflection line patterns is a standard way to check the quality of free form surfaces. In this paper, we describe an approach which enables the designer to control d...
129
Voted
ISQED
2010
IEEE
15 years 4 months ago
2010
IEEE
We present a method to abstract, formalize, and verify industrial flash memory implementations. Flash memories contain specialized transistors, e.g., floating gate and split gate d...