153 | -- | 176 | Harry W. Agius, Marios C. Angelides. COSMOS - Content Oriented Semantic Modelling Overlay Scheme |
177 | -- | 192 | Richard Bornat, Bernard Sufrin. Animating Formal Proof at the Surface: The Jape Proof Calculator |
193 | -- | 201 | Hugh E. Williams, Justin Zobel. Compressing Integers for Fast File Access |
202 | -- | 220 | Weijia Jia, Jiannong Cao, To-Yat Cheung, Xiaohua Jia. A Multicast Protocol Based on a Single Logical Ring Using a Virtual Token and Logical Clocks |
221 | -- | 231 | Kecheng Liu, Tina Ong. A Modelling Approach for Handling Business Rules and Exceptions |
232 | -- | 240 | Ahmad A. Hiasat, Hoda S. Abdel-Aty-Zohdy. Semi-Custom VLSI Design and Implementation of a New Efficient RNS Division Algorithm |
241 | -- | 250 | Neven Tomov, Euan W. Dempster, M. Howard Williams, Peter J. B. King, Albert Burger. Approximate Estimation of Transaction Response Time |