This paper presents a parallel composite local search algorithm based on multiple search neighborhoods to solve a special kind of timetable problem. The new alg
Object-oriented model possesses inherent concurrency. Integration of concurrency and object-orientation is a promising new field. MPI is a message-passing stand
Multicasting is a communication service that allows an application to efficiently transmit copies of data packets to a set of destination nodes. The problem of
SOZL (structured methodology + object-oriented methodology + Z language) is a language that attempts to integrate structured method, object-oriented method and
Due to lack of strictly defined formal semantics, an UML activity diagram is unsuitable for the tasks of formal analysis, verification and assertion on the syst
Detection of port scan is an important component in a network intrusion detection and prevention system. Traditional statistical methods can be easily evaded by