Journal: Comput. J.

Volume 47, Issue 6

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

Volume 47, Issue 5

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

Volume 47, Issue 4

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

Volume 47, Issue 3

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

Volume 47, Issue 2

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

Volume 47, Issue 1

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