Abdolmajid Mousavi

Learn 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)
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)
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)
  • 1