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 (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

- 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

Volume 47, Number 4, July 2004
- 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

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

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