researchr
explore
Tags
Journals
Conferences
Authors
Profiles
Groups
calendar
New Conferences
Events
Deadlines
search
search
You are not signed in
Sign in
Sign up
External Links
Journal: Comput. J.
Home
Index
Info
Issue
Volume
42
, Issue
8
627
--
637
Alexander B. Romanovsky
.
On Structuring Cooperative and Competitive Concurrent Systems
638
--
649
Keith M. Martin
,
Reihaneh Safavi-Naini
,
Huaxiong Wang
.
Bounds and Techniques for Efficient Redistribution of Secret Shares to New Access Structures
650
--
673
Martin P. Ward
,
Keith H. Bennett
.
Recursion Removal/Introduction by Formal Transformation: An Aid to Program Development and Program Comprehension
674
--
692
Kam-yiu Lam
,
Chung-Leung Pang
,
Sang Hyuk Son
,
Jiannong Cao
.
Resolving Executing-Committing Conflicts in Distributed Real-time Database Systems
693
--
698
Hing Leung
,
Tsong Yueh Chen
.
A New Perspective of the Proportional Sampling Strategy
699
--
712
Voon-Yee Vee
,
Wen-Jing Hsu
.
Applying Cilk in Provably Efficient Task Scheduling