Title	A Formal Verification Case Study for IEEE-P.896 Bus Arbiter by using A Model Checking Tool
Author	Katsumi Wasaki
Citation	Vol. 7  No. 3  pp. 184-192
Keywords	Formal Verification, Model Checking, Temporal Logic, Bus Arbiter, Hardware Description Languages

Title	A Framework for Predicting Security and Dependability Measures in Real-time
Author	Karin Sallhammar, Bjarne E. Helvik, Svein J. Knapskog
Citation	Vol. 7  No. 3  pp. 169-183
Keywords	Stochastic modeling, integrating security and dependability, security measures, real-time prediction, hidden Markov models

Title	Open-Source Applications of TCPA Hardware
Author	Karim Faez, Ashkan Hassani Karimabad
Citation	Vol. 7  No. 3  pp. 161-168
Keywords

Title	Significance of Write References on Nonvolatile Buffer Cache and its Implication on Hit Ratio and the Optimal MIN Replacement Algorithm
Author	Sam H. Noh, Inhwan Doh, Jungkyu Park
Citation	Vol. 7  No. 3  pp. 155-160
Keywords	Operating Systems, Buffer Cache, Replacement Algorithm, Nonvolatile memory