The Computer Journal, Volume 47, 2004

Volume 47, Number 1, January 2004

Peter Wegner, Eugene Eberbach:
New Models of Computation. 4-9
George F. Georgakopoulos, David J. McClurkin:
Generalized Template Splay: A Basic Theory and Calculus. 10-19
Amir Sapir:
The Tower of Hanoi with Forbidden Moves. 20-24
Roberto Barbuti, Cinzia Bernardeschi, Nicoletta De Francesco:
Analyzing Information Flow Properties in Assembly Code by Abstract Interpretation. 25-45
Ziya Arnavut:
Inversion Coding. 46-57
Masayuki Abe:
Combining Encryption and Proof of Knowledge in the Random Oracle Model. 58-70
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
Luiz Carlos Pessoa Albini, Stefano Chessa, Piero Maestrini:
Diagnosis of Symmetric Graphs Under the BGM Model. 85-92
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
Zhongqiang Chen, Alex Delis, Henry L. Bertoni:
Building Footprint Simplification Techniques and Their Effects on Radio Propagation Predictions. 103-133

Chian Wang, Chung-Ming Huang:
Synchronization Schemes for Controlling VCR-Like User Interactions in Interactive Multimedia-on-Demand (MOD) Systems. 140-152
Sheau-Ru Tong, Yuan-Tse Yu, Chung-Ming Huang:
Efficient Region Layouts for Region-based Video Servers Employing Multi-zone Disks. 153-168
Ting-Yu Lin, Yu-Chee Tseng, Yuan-Ting Lu:
An Efficient Link Polling Policy by Pattern Matching for Bluetooth Piconet. 169-178
Ahmad R. Sharafat, Mehran S. Fallah:
A Framework for the Analysis of Denial of Service Attacks. 179-192
Hans L. Bodlaender, Ton Kloks, Richard B. Tan, Jan van Leeuwen:
Approximations for lambda-Colorings of Graphs. 193-204
Aleksander Laurentowski, Krzysztof Zielinski:
Experiences from Implementation and Evaluation of Event Processing and Distribution of Notifications in an Object Monitoring Service. 205-220
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
Hans Vandierendonck, Koen De Bosschere:
On Generating Set Index Functions for Randomized Caches. 245-258
Joan M. Lucas:
Untangling Binary Trees via Rotations. 259-269

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

Jack Dongarra:
Trends in High Performance Computing. 399-403
Ing-Ray Chen, Luiz A. DaSilva, Scott F. Midkiff:
Editorial: Mobile and Pervasive Computing. 404
Vincent W.-S. Feng, Lin-Yi Wu, Yi-Bing Lin, Whai-En Chen:
WGSN: WLAN-based GPRS Support Node with Push Mechanism. 405-417
Ka Lun Eddie Law, Sunny So:
Pervasive Computing on Active Networks. 418-431
Christian Bettstetter:
On the Connectivity of Ad Hoc Networks. 432-447
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
Georgia Koloniari, Evaggelia Pitoura:
Filters for XML-based Service Discovery in Pervasive Computing. 461-474
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
Dejan Raskovic, Thomas L. Martin, Emil Jovanov:
Medical Monitoring Applications for Wearable Computing. 495-504
Olaf Zimmermann, M. Tomlinson, S. Peuser:
Perspectives on Web Services-Applying SOAP, WSDL and UDDIto Real-World Projects. 505

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

Zhihong Zuo, Mingtian Zhou:
Some Further Theoretical Results about Computer Viruses. 627-633
Andrea Bondavalli, Roberto Filippini:
Modeling and Analysis of a Scheduled Maintenance System: a DSPN Approach. 634-650
José De Oliveira Guimar:
The Green Language Exception System. 651-661
Hui Wang, David A. Bell:
Extended k-Nearest Neighbours based on Evidence Theory. 662-672
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
Ling Chen, Yi Pan, Yixin Chen, Xiao-hua Xu:
Efficient Parallel Algorithms for Euclidean Distance Transform. 694-700
Hsien-Wen Tseng, Chin-Chen Chang:
A Branch-and-Bound Algorithm for the Construction of Reversible Variable Length Codes. 701-707
David G. Elliman, Sherin M. Youssef:
A New Intelligent Agent-based Strategy for Constrained Multiple Destination Routing Problems. 708-727

Last update Tue May 21 18:31:21 2013 CET by the DBLP Team —

Data released under the ODC-BY 1.0 license — See also our legal information page