Abdolmajid Mousavi

Learn More
Distributed systems are employed in countless applications such as information systems, robotics, etc. Lack of central control makes the design of such systems a challenging task because of possible unwanted behavior at runtime, commonly known as emergent behavior. Developing a methodology to detect emergent behavior in the pre-implementation stages of the(More)
We study the notion of safe realizability and implied scenarios for Message Sequence Chart (MSC) specifications with the following contributions: (1) We investigate the cause of implied scenarios and show that even though implied scenarios are an artifact of the distributed and global system behaviour, nevertheless, they are the result of the nondeterminism(More)
Multi-agent systems (MAS) are efficient solutions for commercial applications such as information retrieval and search. In a MAS, agents are usually designed with distribution of functionality and control. Lack of central control implies that the quality of service of MAS may be degraded because of possible unwanted behavior at the runtime, commonly known(More)
(published title: " Input variable selection in time-critical knowledge integration applications: A review, analysis, and recommendation paper "). Changes resulting from the publishing process, such as peer review, editing, corrections, structural formatting, and other quality control mechanisms may not be reflected in this document. Changes may have been(More)
Safe realizability of Message Sequence Charts (MSCs) specifications is a measure of whether or not there exists a distributed implementation of the specification such that it is deadlock free and shows exactly the behaviours specified in the specification. There are also some works that given a specification, can answer whether it is safely realizable or(More)
Efficient feature extraction strategies play an important role in palmprint recognition systems. Among various feature extraction methods, orientation methods such as Competitive Code and Half Orientation Code are the baseline ones. They encode responses of a bank of orientational filters into a binary representation and can match a test palmprint sample in(More)
In the past few years, the need for accuracy and robustness against luminosity variations has drawn a considerable share of the palmprint research toward coding-based approaches. However, on the downside coding-based approaches require a high computational cost. On the contrary, while holistic-based palmprint recognition methods are easy to implement and(More)