Journal: Comput. J.

Volume 42, Issue 8

627 -- 637Alexander B. Romanovsky. On Structuring Cooperative and Competitive Concurrent Systems
638 -- 649Keith M. Martin, Reihaneh Safavi-Naini, Huaxiong Wang. Bounds and Techniques for Efficient Redistribution of Secret Shares to New Access Structures
650 -- 673Martin P. Ward, Keith H. Bennett. Recursion Removal/Introduction by Formal Transformation: An Aid to Program Development and Program Comprehension
674 -- 692Kam-yiu Lam, Chung-Leung Pang, Sang Hyuk Son, Jiannong Cao. Resolving Executing-Committing Conflicts in Distributed Real-time Database Systems
693 -- 698Hing Leung, Tsong Yueh Chen. A New Perspective of the Proportional Sampling Strategy
699 -- 712Voon-Yee Vee, Wen-Jing Hsu. Applying Cilk in Provably Efficient Task Scheduling