1. Synthesizing Service Composition Models on the Basis of Temporal Business Rules

   • Jian Yu
   • Yan-Bo Han
   • Maurizio Morisio

   Regular Paper 23 November 2008 Pages: 885 - 894

2. An Access Control Framework for Reflective Middleware

   • Gang Huang
   • Lian-Shan Sun

   Regular Paper 23 November 2008 Pages: 895 - 904

3. Cache-Based Aggregate Query Shipping: An Efficient Scheme of Distributed OLAP Query Processing

   • Hua-Ming Liao
   • Guo-Shun Pei

   Regular Paper 23 November 2008 Pages: 905 - 915

4. Probabilistic Adaptive Anonymous Authentication in Vehicular Networks

   • Yong Xi
   • Ke-Wei Sha
   • Tao Zhang

   Regular Paper 23 November 2008 Pages: 916 - 928

5. URECA: Efficient Resource Location Middleware for Ubiquitous Environment

   • Donggeon Noh
   • Heonshik Shin

   Regular Paper 23 November 2008 Pages: 929 - 943

6. Scoped Bellman-Ford Geographic Routing for Large Dynamic Wireless Sensor Networks

   • Xue Zhang
   • Jue Hong
   • Jian-Nong Cao

   Regular Paper 23 November 2008 Pages: 944 - 956

7. PEJA: Progressive Energy-Efficient Join Processing for Sensor Networks

   • Yong-Xuan Lai
   • Yi-Long Chen
   • Hong Chen

   Regular Paper 23 November 2008 Pages: 957 - 972

8. Improved Approximate Detection of Duplicates for Data Streams Over Sliding Windows

   • Hong Shen
   • Yu Zhang

   Regular Paper 23 November 2008 Pages: 973 - 987

9. A Semantic Cache Framework for Secure XML Queries

   • Jian-Hua Feng
   • Guo-Liang Li
   • Na Ta

   Regular Paper 23 November 2008 Pages: 988 - 997

10. Adaptive Indexing of Moving Objects with Highly Variable Update Frequencies

    • Nan Chen
    • Li-Dan Shou
    • Jin-Xiang Dong

    Regular Paper 23 November 2008 Pages: 998 - 1014

11. An Effective Error Resilient Packetization Scheme for Progressive Mesh Transmission over Unreliable Networks

    • Bai-Lin Yang
    • Frederick W. B. Li
    • Xun Wang

    Regular Paper 23 November 2008 Pages: 1015 - 1025

12. Higher-Order Level-Set Method and Its Application in Biomolecular Surfaces Construction

    • Chandrajit L. Bajaj
    • Guo-Liang Xu
    • Qin Zhang

    Regular Paper 23 November 2008 Pages: 1026 - 1036

13. Design-for-Testability Features and Test Implementation of a Giga Hertz General Purpose Microprocessor

    • Da Wang
    • Yu Hu
    • Xiao-Wei Li

    Regular Paper 23 November 2008 Pages: 1037 - 1046

14. 2008 Author Index

    Announcement 23 November 2008 Pages: 1050 - 1052