Learn More
One of the motivations for specifying software architectures explicitly is the use of high level structural design information for improved control and prediction of software system quality attributes. In this paper, we present an approach for determining the reliability of component-based software architectures. Our method is based on rich architecture(More)
Easy access to the Web has led to increased potential for students cheating on assignments by plagiarising others' work. By the same token, Web-based tools offer the potential for instructors to check submitted assignments for signs of plagiarism. Overlap-detection tools are easy to use and accurate in plagiarism detection, so they can be an excellent(More)
We present an algebra for programming the itineraries of mobile agents. The algebra contains operators for modelling sequential, parallel, non-deterministic, and conditional mobility behaviour. Iterative behaviour is also modelled by a language of regular itineraries borrowing ideas from regular expressions. We give an operational semantics for the(More)
Proliferation of digital libraries plus availability of electronic documents from the Internet have created new challenges for computer science researchers and professionals. Documents are easily copied and redistributed or used to create plagiarised assignments and conference papers. This paper presents a new, two-stage approach for identifying overlapping(More)
held in Orlan-do, Florida, in May 2002, this special issue of The Journal of Systems and Software is devoted to automated component-based software engineering. We depend on software components for everyday activities at work, at home, in traffic and transport, banking, health, telecommunications, defence and other areas. Many times the software components(More)