Timing-related defects are among the most difficult types of defects to catch while testing software. They are by definition difficult to reproduce and hence they are difficult to...
Mechelle Gittens, Pramod Gupta, David Godwin, Hebe...
Understanding an application's functional and nonfunctional requirements is normally seen as essential for developing a robust product suited to client needs. This paper desc...
In this paper we provide a general method to derive productform solutions for stochastic models. We take inspiration from the Reversed Compound Agent Theorem [14] and we provide a...
We propose a novel methodology for analysing change propagation in software using the domain-level behavioural model of a system. We hypothesize that change propagation analysis i...
Amir Aryani, Ian D. Peake, Margaret Hamilton, Hein...
In this paper we present the design and implementation of an agent-mediated B2C e-Marketplace as part of the social and immersive 3D e-Tourism environment “Itchy Feet”. Custom...