default search action
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 - 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 (2n - (2p [plusmn] 1)). 93-102 - Zhongqiang Chen, Alex Delis, Henry L. Bertoni:
Building Footprint Simplification Techniques and Their Effects on Radio Propagation Predictions. 103-133
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 - 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
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 - Ajoy Kumar Datta, Maria Gradinariu, Sébastien Tixeuil:
Self-Stabilizing Mutual Exclusion Under Arbitrary Scheduler. 289-298 - Gholamreza 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
Volume 47, Number 4, July 2004
- Jack J. 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, Mark Tomlinson, Stefan Peuser:
Perspectives on Web Services-Applying SOAP, WSDL and UDDIto Real-World Projects. 505
Volume 47, Number 5, September 2004
- 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
Volume 47, Number 6, November 2004
- 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
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.