Development and Specification of Virtual Environments (2003)

by Boris van Schooten
Venue:PH.D. THESIS. NESLIA PANICULATA
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
12 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
10 Quality-Driven Object-Oriented Re-engineering Framework – Ladan Tahvildari - 2004
11 A Semantic Theory for Value-Passing Processes Late Approach -- Part I: A Denotational Model and Its Complete Axiomatization – Anna Ingólfsdóttir - 1995
25 A theoretical basis of communication-centred concurrent programming – Marco Carbone, Kohei Honda , Nobuko Yoshida, Robin Milner, Gary Brown, Steve Ross-Talbot - 2006
1 On the Bisimulation Theory and Axiomatization of Higher-order Process Calculi – Xian Xu
Appendices – Caj Zz Tutoria, Walter Fontana, Leo W. Buss
6 Categorical Models for Concurrency: Independence, Fairness and Dataflow – Thomas Troels Hildebrandt - 2000
General Theory of Interaction and Cognitive Architectures – Alexander Letichevsky
16 The Early Search for Tractable Ways of Reasoning About Programs – C. B. Jones - 2003
9 On the Search for Tractable Ways of Reasoning about Programs – C. B. Jones - 2001
4 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
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
3 LIVE DISTRIBUTED OBJECTS – Krzysztof Ostrowski - 2008
Some Notes on the History of Protocol Engineering – Gregor V. Bochmann, Dave Rayner, Colin H. West