The Computer Journal, Volume 47, 2004

Volume 47, Number 1, January 2004

• Peter Wegner, Eugene Eberbach:
  New Models of Computation. 4-9
  Electronic Edition (link) BibTeX
• George F. Georgakopoulos, David J. McClurkin:
  Generalized Template Splay: A Basic Theory and Calculus. 10-19
  Electronic Edition (link) BibTeX
• Amir Sapir:
  The Tower of Hanoi with Forbidden Moves. 20-24
  Electronic Edition (link) BibTeX
• Roberto Barbuti, Cinzia Bernardeschi, Nicoletta De Francesco:
  Analyzing Information Flow Properties in Assembly Code by Abstract Interpretation. 25-45
  Electronic Edition (link) BibTeX
• Ziya Arnavut:
  Inversion Coding. 46-57
  Electronic Edition (link) BibTeX
• Masayuki Abe:
  Combining Encryption and Proof of Knowledge in the Random Oracle Model. 58-70
  Electronic Edition (link) BibTeX
• Ying Xu, Xiaoyu Song, Eduard Cerny, Otmane Aït Mohamed:
  Model Checking for a First-Order Temporal Logic Using Multiway Decision Graphs (MDGs). 71-84
  Electronic Edition (link) BibTeX
• Luiz Carlos Pessoa Albini, Stefano Chessa, Piero Maestrini:
  Diagnosis of Symmetric Graphs Under the BGM Model. 85-92
  Electronic Edition (link) BibTeX
• Ahmad A. Hiasat:
  A Suggestion for a Fast Residue Multiplier for a Family of Moduli of the Form (2ⁿ - (2^p [plusmn] 1)). 93-102
  Electronic Edition (link) BibTeX
• Zhongqiang Chen, Alex Delis, Henry L. Bertoni:
  Building Footprint Simplification Techniques and Their Effects on Radio Propagation Predictions. 103-133
  Electronic Edition (link) BibTeX

Volume 47, Number 2, March 2004

• Chian Wang, Chung-Ming Huang:
  Synchronization Schemes for Controlling VCR-Like User Interactions in Interactive Multimedia-on-Demand (MOD) Systems. 140-152
  Electronic Edition (link) BibTeX
• Sheau-Ru Tong, Yuan-Tse Yu, Chung-Ming Huang:
  Efficient Region Layouts for Region-based Video Servers Employing Multi-zone Disks. 153-168
  Electronic Edition (link) BibTeX
• Ting-Yu Lin, Yu-Chee Tseng, Yuan-Ting Lu:
  An Efficient Link Polling Policy by Pattern Matching for Bluetooth Piconet. 169-178
  Electronic Edition (link) BibTeX
• Ahmad R. Sharafat, Mehran S. Fallah:
  A Framework for the Analysis of Denial of Service Attacks. 179-192
  Electronic Edition (link) BibTeX
• Hans L. Bodlaender, Ton Kloks, Richard B. Tan, Jan van Leeuwen:
  Approximations for lambda-Colorings of Graphs. 193-204
  Electronic Edition (link) BibTeX
• Aleksander Laurentowski, Krzysztof Zielinski:
  Experiences from Implementation and Evaluation of Event Processing and Distribution of Notifications in an Object Monitoring Service. 205-220
  Electronic Edition (link) BibTeX
• Qiang Zhu, Brian Dunkel, Wing Lau, Suyun Chen, Berni Schiefer:
  Piggyback Statistics Collection for Query Optimization: Towards a Self-Maintaining Database Management System. 221-244
  Electronic Edition (link) BibTeX
• Hans Vandierendonck, Koen De Bosschere:
  On Generating Set Index Functions for Randomized Caches. 245-258
  Electronic Edition (link) BibTeX
• Joan M. Lucas:
  Untangling Binary Trees via Rotations. 259-269
  Electronic Edition (link) BibTeX

Volume 47, Number 3, May 2004

• Alvin T. S. Chan, Siu Nam Chuang, Jiannong Cao, Hong Va Leong:
  An Event-Driven Middleware for Mobile Context Awareness. 278-288
  Electronic Edition (link) BibTeX
• Ajoy Kumar Datta, Maria Gradinariu, Sébastien Tixeuil:
  Self-Stabilizing Mutual Exclusion Under Arbitrary Scheduler. 289-298
  Electronic Edition (link) BibTeX
• G. Latif-Shabgahi, Julian M. Bass, Stuart Bennett:
  Multiple Error Filtering in Cyclic Systems. 299-308
  Electronic Edition (link) BibTeX
• Stephanie Perkins, Derek H. Smith, Alan Ryley:
  Robust Data Compression: Consistency Checking in the Synchronization of Variable Length Codes. 309-319
  Electronic Edition (link) BibTeX
• Hua Li, Chang N. Zhang:
  A Cellular Automata Based Reconfigurable Architecture for Hybrid Cryptosystems. 320-328
  Electronic Edition (link) BibTeX
• Christoforos N. Hadjicostis:
  Coding Techniques for Fault-Tolerant Parallel Prefix Computations in Abelian Groups. 329-341
  Electronic Edition (link) BibTeX
• Luis Iribarne, José M. Troya, Antonio Vallecillo:
  A Trading Service for COTS Components. 342-357
  Electronic Edition (link) BibTeX
• Evelina Lamma, Paola Mello, Fabrizio Riguzzi:
  A System for Measuring Function Points from an ER-DFD Specification. 358-372
  Electronic Edition (link) BibTeX
• LihChyun Shu, John A. Stankovic, Sang Hyuk Son:
  Achieving Bounded and Predictable Recovery using Real-Time Logging. 373-394
  Electronic Edition (link) BibTeX

Volume 47, Number 4, July 2004

• Jack Dongarra:
  Trends in High Performance Computing. 399-403
  Electronic Edition (link) BibTeX
• Ing-Ray Chen, Luiz A. DaSilva, Scott F. Midkiff:
  Editorial: Mobile and Pervasive Computing. 404
  Electronic Edition (link) BibTeX
• Vincent W.-S. Feng, Lin-Yi Wu, Yi-Bing Lin, Whai-En Chen:
  WGSN: WLAN-based GPRS Support Node with Push Mechanism. 405-417
  Electronic Edition (link) BibTeX
• Ka Lun Eddie Law, Sunny So:
  Pervasive Computing on Active Networks. 418-431
  Electronic Edition (link) BibTeX
• Christian Bettstetter:
  On the Connectivity of Ad Hoc Networks. 432-447
  Electronic Edition (link) BibTeX
• Yu-Chee Tseng, Sheng-Po Kuo, Hung-Wei Lee, Chi-Fu Huang:
  Location Tracking in a Wireless Sensor Network by Mobile Agents and Its Data Fusion Strategies. 448-460
  Electronic Edition (link) BibTeX
• Georgia Koloniari, Evaggelia Pitoura:
  Filters for XML-based Service Discovery in Pervasive Computing. 461-474
  Electronic Edition (link) BibTeX
• Porlin Kang, Cristian Borcea, Gang Xu, Akhilesh Saxena, Ulrich Kremer, Liviu Iftode:
  Smart Messages: A Distributed Computing Platform for Networks of Embedded Systems. 475-494
  Electronic Edition (link) BibTeX
• Dejan Raskovic, Thomas L. Martin, Emil Jovanov:
  Medical Monitoring Applications for Wearable Computing. 495-504
  Electronic Edition (link) BibTeX
• O. Zimmermann, M. Tomlinson, S. Peuser:
  Perspectives on Web Services-Applying SOAP, WSDL and UDDIto Real-World Projects. 505
  Electronic Edition (link) BibTeX

Volume 47, Number 5, September 2004

• Luigi Catuogno, Ivan Visconti:
  An Architecture for Kernel-Level Verification of Executables at Run Time. 511-526
  Electronic Edition (link) BibTeX
• Kamilla Klonowska, Lars Lundberg, Håkan Lennerstad, Magnus Broberg:
  Comparing the Optimal Performance of Parallel Architectures. 527-544
  Electronic Edition (link) BibTeX
• Nikolaos Glinos, Doan B. Hoang, Chi Nguyen, Antonios Symvonis:
  Video-on-Demand Based on Delayed-Multicast: Algorithmic Support. 545-559
  Electronic Edition (link) BibTeX
• Hsung-Pin Chang, Ray-I Chang, Wei Kuan Shih, Ruei-Chuan Chang:
  Cache-Aware Real-Time Disk Scheduling. 560-578
  Electronic Edition (link) BibTeX
• Chia-Mei Chen, Huey-Min Sun, LihChyun Shu:
  Optimizing Object-based Multimedia Delivery Across Bandwidth Constrained Networks. 579-590
  Electronic Edition (link) BibTeX
• Anna Formica:
  Legality of XML-Schema Type Hierarchies. 591-601
  Electronic Edition (link) BibTeX
• Shan-Tai Chen, Shun-Shii Lin:
  Optimal Algorithms for 2 [times] n Mastermind Games-a Graph-Partition Approach. 602-611
  Electronic Edition (link) BibTeX
• James F. Korsh, Paul LaFollette:
  Loopless Array Generation of Multiset Permutations. 612-621
  Electronic Edition (link) BibTeX

Volume 47, Number 6, November 2004

• Zhihong Zuo, Mingtian Zhou:
  Some Further Theoretical Results about Computer Viruses. 627-633
  Electronic Edition (link) BibTeX
• Andrea Bondavalli, Roberto Filippini:
  Modeling and Analysis of a Scheduled Maintenance System: a DSPN Approach. 634-650
  Electronic Edition (link) BibTeX
• José De Oliveira Guimar:
  The Green Language Exception System. 651-661
  Electronic Edition (link) BibTeX
• Hui Wang, David A. Bell:
  Extended k-Nearest Neighbours based on Evidence Theory. 662-672
  Electronic Edition (link) BibTeX
• Byung Suk Lee, Li Chen, Jeff Buzas, Vinod Kannoth:
  Regression-Based Self-Tuning Modeling of Smooth User-Defined Function Costs for an Object-Relational Database Management System Query Optimizer. 673-693
  Electronic Edition (link) BibTeX
• Ling Chen, Yi Pan, Yixin Chen, Xiao-hua Xu:
  Efficient Parallel Algorithms for Euclidean Distance Transform. 694-700
  Electronic Edition (link) BibTeX
• Hsien-Wen Tseng, Chin-Chen Chang:
  A Branch-and-Bound Algorithm for the Construction of Reversible Variable Length Codes. 701-707
  Electronic Edition (link) BibTeX
• David G. Elliman, Sherin M. Youssef:
  A New Intelligent Agent-based Strategy for Constrained Multiple Destination Routing Problems. 708-727
  Electronic Edition (link) BibTeX