2836 search results - page 18 / 568 » Model Checking for Software Architectures |
143
click to vote
ISCA
1999
IEEE
15 years 6 months ago
1999
IEEE
Information integrity in cache memories is a fundamental requirement for dependable computing. Conventional architectures for enhancing cache reliability using check codes make it...
124
click to vote
OOPSLA
2010
Springer
15 years 13 days ago
2010
Springer
Glass box software model checking incorporates novel techniques to identify similarities in the state space of a model checker and safely prune large numbers of redundant states w...
89
Voted
DAC
2002
ACM
16 years 3 months ago
2002
ACM
151
click to vote
WSE
2005
IEEE
15 years 8 months ago
2005
IEEE
Many of existing criteria for evaluating web sites quality require methods such as heuristic evaluations, or/and empirical usability tests. This paper aims at defining a quality m...
134
Voted
TASE
2007
IEEE
15 years 8 months ago
2007
IEEE
Software has been under scrutiny by the verification community from various angles in the recent past. There are two major algorithmic approaches to ensure the correctness of and...