Developing correct dependable distributed applications is a difficult task. The techniques developed to detect distributed predicates can be used to verify the satisfaction of specific properties (represented as predicates) in a given run of a distributed application. These techniques have...

In today's world, the heart of modern technology is software. In order to compete with pace of new technology, changes in software are inevitable. This article aims at the association between changes and object-oriented metrics using different versions of open source software. Change prediction...

Video surveillance has become an integrated part of today's life. We are surrounded by video cameras in all the public places and organizations in our day to day life. Many useful information like face detection, traffic analysis, object classification, crime analysis can be assessed from the...