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

In this paper, an evolving system is introduced. That any system is evolving means that any entity in the system is in developing state and entities compete with each other. Any entity can be represented by development of the entity and its environment consisting of a closed cycle. Any subsystem is ...

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

In networks, the stable path problem (SPP) usually results in oscillations in interdomain systems and may cause systems to become unstable. With the rapid development of internet technology, the occurrence of SPPs in interdomain systems has quite recently become a significant focus of research. A fr...

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