To support commercial-strength web development it is as important to utilize a process as it is in regular, non-web information systems development. Using an established OO/CBD de...
Brendan Haire, Brian Henderson-Sellers, David Lowe
This paper introduces a formal model for the description of interactive systems based on the interactor model of [15, 17]. Similarly to that model, it is intended to be used constr...
This paper outlines a pedagogically-oriented case study of the use of a 3D collaborative virtual environment (3D CVE) to break down barriers between partners from different cultura...
Broadcast semantics poses significant challenges over point-to-point communication when it comes to formal modelling and analysis. Current approaches to analysing broadcast netwo...
Sebastian Nanz, Flemming Nielson, Hanne Riis Niels...
How humans infer probable information from the limited observed data? How they are able to build on little knowledge about the context in hand? Is the human memory repeatedly const...