This paper discusses the algorithms for achieving global states and self-stabilization for communication protocols. It first describes a primary algorithm including its suitability for achieving global states and limitation of self-stabilization for communication protocols. and then presents an impr...

The concept of Cooperative Work Environment (CWE) is introduced. Three key elements of CWE, inforrration integration, process integration, and organization integration, are analysed. An application framework of CWE is prcoosed and with this framework a CE CWE based on Lotus Notes/Domino and Intel Pr...

A concept of secret sharing scheme with the function of assignment is proposed. It provides great capabilities for many practical applications. In this scheme, the dealer can randomly assign one or more than one participant to get the secret at any time, but these participants can get nothing about ...

An abstraction method developed for the explicit linear temporal logic model checking was geared towards reducing the useless part of the state space during the abstraction period. This reduces the cost during the abstraction period relative to models requiring many useless states. A dining-philosop...

A novel multi-view 3D face registration method based on principal axis analysis and labeled regions orientation called local orientation registration is proposed. The pre-registration is achieved by transforming the multi-pose models to the standard frontal model's reference frame using the principa...