Development and Specification of Virtual Environments (2003)

by Boris van Schooten
Citations:1 - 1 self

Active Bibliography

Process- and Agent-Based Modelling Techniques for Dialogue Systems and Virtual Environments – B.W. van Schooten - 2000
3 Modelling Usability Development Methods for Dialogue Systems – Joris Hulstijn - 2000
11 The Conceptualization and Empirical Validation of Web Site User Satisfaction – Steve Muylle, Rudy Moenaert, Marc Despontin - 2004
12 New theoretical approaches for HCI – Yvonne Rogers - 2004
Supporting Component-Based Software – Yunwen Ye, Written Yunwen Ye, Gerhard Fischer, James Martin - 2001
20 Supporting Component-Based Software Development with Active Component Repository Systems – Yunwen Ye - 2001
Appendices – Caj Zz Tutoria, Walter Fontana, Leo W. Buss
11 A Semantic Theory for Value-Passing Processes Late Approach -- Part I: A Denotational Model and Its Complete Axiomatization – Anna Ingólfsdóttir - 1995
26 A theoretical basis of communication-centred concurrent programming – Marco Carbone, Kohei Honda , Nobuko Yoshida, Robin Milner, Gary Brown, Steve Ross-Talbot - 2006
6 Categorical Models for Concurrency: Independence, Fairness and Dataflow – Thomas Troels Hildebrandt - 2000
General Theory of Interaction and Cognitive Architectures – Alexander Letichevsky
3 On the Bisimulation Theory and Axiomatization of Higher-order Process Calculi – Xian Xu
9 On the Search for Tractable Ways of Reasoning about Programs – C. B. Jones - 2001
3 Process Algebra for Agent Communication: A General Semantic Approach – Rogier M. van Eijk, Frank S. de Boer, Wiebe van der Hoek, John-Jules Ch. Meyer - 2003
15 The Early Search for Tractable Ways of Reasoning About Programs – C. B. Jones - 2003
6 A Unified Approach to the Study of Asynchronous Communication Mechanisms in Real Time Systems. – Ian G. Clark - 2000
Verification of the WAP Transaction Layer Using the Model Checker SPIN – Yu-Tong He
Some Notes on the History of Protocol Engineering – Gregor V. Bochmann, Dave Rayner, Colin H. West
11 IF: An Intermediate Representation and Validation Environment for Timed Asynchronous Systems – Marius Bozga, Jean-Claude Fernandez, Lucian Ghirvu, Susanne Graf, Jean-pierre Krimm, Laurent Mounier - 1999