The present paper reviews the problem of investigating incidents in systems with dependent states. Actions of an agent in such systems may lead to changes in the system, which could be made by an agent not directly, but indirectly through other agents. A method for modelling such systems is presented in this paper. The method allows defining a “manipulated system”, in which other agents can be used to obtain the changes. A method for analysis of such systems by deriving them to the non-manipulated type is also presented
To date, the evolution of Web-related technologies has been mainly driven by the user’s quest for ever faster and more intuitive World Wide Web (WWW). One of the most recent stages of this evolution is built around the idea that the user experience can be further improved by enabling the browser to predict and preload Web resources the user is
