This paper presents a concept for the integration of quantitative and qualitative information sources with their accompanying management support functionalities from navigation and...
We assume a link-register communication model under read/write atomicity, where every process can read from but cannot write into its neighbours' registers. The paper present...
— Solution diversity in evolutionary multi-objective optimization is considered. Although the Pareto front is ubiquitously used for the multi-objective optimization, the method o...
Due to its potential for a high degree of parallelism, optimistic concurrency control is expected to perform better than two-phase locking when integrated with priority-driven CPU...
Jiandong Huang, John A. Stankovic, Krithi Ramamrit...
In existing security model-checkers the intruder’s behavior is defined as a message deducibility rule base governing use of eavesdropped information, with the aim to find out a m...