Journal: Comput. J.

Volume 42, Issue 2

73 -- 81Birgit Schieder, Manfred Broy. Adapting Calculational Logic to the Undefined
82 -- 99Richard F. Paige. Integrating a Program Design Calculus and a Subset of UML
100 -- 111Ykä Huhtala, Juha Kärkkäinen, Pasi Porkka, Hannu Toivonen. TANE: An Efficient Algorithm for Discovering Functional and Approximate Dependencies
112 -- 128Chung-Ming Huang, Ming-Yuhe Jang. Interactive Temporal Behaviours and Modelling for Multimedia Presentations in te WWW Environment
129 -- 141Min-Sheng Lin, Deng-Jyi Chen, Maw-Sheng Horng. The Reliability Analysis of Distributed Computing Systems with Imperfect Nodes
142 -- 149W. F. Wong. Source Level Static Branch Prediction