597 search results - page 40 / 120 » E-Process Design and Assurance Using Model Checking |
136
click to vote
ICAS
2008
IEEE
15 years 9 months ago
2008
IEEE
Abstract—A growing number of applications start using Semantic Web technologies. The base concept in this technology is the use of ontologies, allowing first-order logic reasoni...
168
click to vote
TACAS
2000
Springer
15 years 6 months ago
2000
Springer
Salsa is an invariant checker for speci cations in SAL the SCR Abstract Language. To establish a formula as an invariant without any user guidance Salsa carries out an induction pr...
134
click to vote
ISQED
2008
IEEE
15 years 8 months ago
2008
IEEE
The effects of random variations during the manufacturing process on devices can be simulated as a variation of transistor parameters. Device degradation, due to temperature or vo...
100
click to vote
DATE
2010
IEEE
15 years 6 months ago
2010
IEEE
Model checking techniques are promising for automated generation of directed tests. However, due to the prohibitively large time and resource requirements, conventional model chec...
124
click to vote
JCP
2008
15 years 2 months ago
2008
Verified and validated security policies are essential components of high assurance computer systems. The design and implementation of security policies are fundamental processes i...