Development and Specification of Virtual Environments
暂无分享,去创建一个
[1] Lance A. Ramshaw. A Three-Level Model for Plan Exploration , 1991, ACL.
[2] Guruduth Banavar,et al. Responsiveness and consistency tradeoffs in interactive groupware , 1998, PODC '98.
[3] Keith Stenning,et al. Formal methods and human communication , 1996 .
[4] Bertrand Meyer,et al. On Formalism in Specifications , 1985, IEEE Software.
[5] W.C.A. Wijngaards,et al. Agent-Based Modelling of Dynamics: Biological and Organisational Applications , 2002 .
[6] Peter Boncz,et al. UvA-DARE ( Digital Academic Repository ) Monet ; a next-Generation DBMS Kernel For Query-Intensive Applications , 2007 .
[7] Philippe Bretier,et al. ARTIMIS: Natural Dialogue Meets Rational Agency , 1997, IJCAI.
[8] Chris Greenhalgh,et al. Extending locales: awareness management in MASSIVE-3 , 2000, Proceedings IEEE Virtual Reality 2000 (Cat. No.00CB37048).
[9] C. J. Date. A Guide to the SQL Standard , 1987 .
[10] Bonnie E. John,et al. Comparison of GOMS analysis methods , 1998, CHI Conference Summary.
[11] Deri Sheppard. An introduction to formal specification with Z and VDM , 1995, McGrawhill international series in software engineering.
[12] Bertrand Meyer. The Nature of Programming , 1999 .
[13] Michelle Cartwright,et al. An Empirical Investigation of an Object-Oriented Software System , 2000, IEEE Trans. Software Eng..
[14] SubareaEast Carolina UniversityGreenville. INITIATIVE-DEPENDENT FEATURES OF HUMAN-COMPUTER DIALOGS IN A TASK-ASSISTANCE DOMAIN , 1996 .
[15] Elisabeth Andr,et al. AiA: Adaptive Communication Assistant for Effective Infobahn Access , 1997 .
[16] Jim Buckley,et al. An Open-Source Analysis Schema for Identifying Software Comprehension Processes , 2001, PPIG.
[17] Johanna D. Moore,et al. Planning Text for Advisory Dialogues , 1989, ACL.
[18] Mauricio Cortes,et al. DCWPL: a programming language for describing collaborative work , 1996, CSCW '96.
[19] Søren Lauesen,et al. Dialogue Design Through Modified Dataflow and Data Modelling , 1993, HCI.
[20] Sacha Krakowiak,et al. Support for Distributed CSCW Applications , 1999, Advances in Distributed Systems.
[21] Michael Wooldridge,et al. Verifiable semantics for agent communication languages , 1998, Proceedings International Conference on Multi Agent Systems (Cat. No.98EX160).
[22] Saul Greenberg,et al. Building groupware with GroupKit , 1997 .
[23] David A. Carrington,et al. Assessing usability from formal user-interface designs , 2001, Proceedings 2001 Australian Software Engineering Conference.
[24] Gerard Jounghyun Kim,et al. Design for Presence: A Structured Approach to Virtual Reality System Design , 2002, Presence: Teleoperators & Virtual Environments.
[25] Udo Kelter,et al. Do We Need 'Agile' Software Development Tools? , 2002, NetObjectDays.
[26] James Glass,et al. Evaluation methodology for a telephone-based conversational system , 1998 .
[27] Tim Ritchings,et al. Virtual Agent Societies with the mVITAL Intelligent Agent System , 2001, IVA.
[28] A. Hussey,et al. Using Object-Z to specify a web browser interface , 1996, Proceedings Sixth Australian Conference on Computer-Human Interaction.
[29] Robert D. Bjornson. Linda on distributed memory multiprocessors , 1993 .
[30] Sharon L. Oviatt,et al. Unification-based Multimodal Integration , 1997, ACL.
[31] Chris Roast,et al. The Usability of Formal Specification Representations , 2001, PPIG.
[32] François Pachet,et al. On the Embeddability of Production Rules in Object-Oriented Languages , 1995, J. Object Oriented Program..
[33] Thierry Declerck,et al. Natural Language Dialogue Service for Appointment Scheduling Agents , 1997, ANLP.
[34] Arthur J. Riel,et al. Object-Oriented Design Heuristics , 1996 .
[35] W. Lewis Johnson,et al. Pedagogical agents on the Web , 1999, AGENTS '99.
[36] Philippe Bretier,et al. A Rational Agent as the Kernel of a Cooperative Spoken Dialogue System: Implementing a Logical Theory of Interaction , 1996, ATAL.
[37] R. A. Steele,et al. Task Analysis in Design of a Human-Computer Interface for a Ward Based System , 1993, HCI.
[38] T.R.G. Green,et al. Programming Languages as Information Structures , 1990 .
[39] Michael D. Harrison,et al. Formally verifying interactive systems: A review , 1997, DSV-IS.
[40] Gustavo Rossi,et al. Web Application Models Are More Than Conceptual Models , 1999, ER.
[41] Lynette Hirschman,et al. Overview of evaluation in speech and natural language processing , 1997 .
[42] Michael Stumm,et al. A Computer Engineer's Perception of Software Engineering , 1993 .
[43] Marc Evers. A case study on adaptability problems of the separation of user interface and application semantics , 1999 .
[44] Cristiano Castelfranchi,et al. No More Cooperation, Please! In Search of the Social Structure of Verbal Interaction , 1992 .
[45] Marilyn A. Walker,et al. Limited Attention and Discourse Structure , 1995, CL.
[46] Richard N. Taylor,et al. A framework for classifying and comparing architecture description languages , 1997, ESEC '97/FSE-5.
[47] David E. Kieras,et al. Automating interface evaluation , 1994, CHI '94.
[48] Roelof van Zwol. Modelling and searching web-based document collections , 2002 .
[49] Peter Moulding. PHP Black Book , 2001 .
[50] Frank Dignum,et al. Dialogue in team formation: a formal approach , 1999 .
[51] Anton Nijholt,et al. Towards Communicating Agents and Avatars in Virtual Worlds , 2000, Eurographics.
[52] A. Fleischmann. Distributed Systems , 1994, Springer Berlin Heidelberg.
[53] K. A. Ericsson,et al. Verbal reports as data. , 1980 .
[54] Jean Vanderdonckt,et al. Towards Uniformed Task Models in a Model-Based Approach , 2001, DSV-IS.
[55] Anton Nijholt,et al. Developing a virtual piano playing environment , 2002 .
[56] B. W. van Schooten,et al. Building a framework for developing interaction models: Overview of current research in dialogue and interactive systems , 1999 .
[57] Morena Danieli,et al. Dialogos: a robust system for human-machine spoken dialogue on the telephone , 1996, 1997 IEEE International Conference on Acoustics, Speech, and Signal Processing.
[58] Jorma Sajaniemi,et al. Visualizing Roles of Variables to Novice Programmers , 2002, PPIG.
[59] Kenneth Wauchope. Multimodal Interaction with a Map-Based Simulation System , 1996 .
[60] Jakob Nielsen,et al. Usability engineering , 1997, The Computer Science and Engineering Handbook.
[61] Gerrit C. van der Veer,et al. GTA: Groupware task analysis — Modeling complexity , 1996 .
[62] Alistair Cockburn,et al. Agile Software Development: The Business of Innovation , 2001, Computer.
[63] Anton Nijholt,et al. Navigation Assistance in Virtual Worlds , 2003, Informing Sci. Int. J. an Emerg. Transdiscipl..
[64] Andreas Girgensohn,et al. Prototyping considered dangerous , 1995, INTERACT.
[65] Henk Ernst Blok. Database Optimization Aspects for Information Retrieval , 2002 .
[66] Richard J. Koubek,et al. The Implementation of Knowledge Structures in Cognitive Simulation Environments , 1993, HCI.
[67] Justine Cassell,et al. Embodied Conversational Agents: Representation and Intelligence in User Interfaces , 2001, AI Mag..
[68] Morena Danieli,et al. Metrics for Evaluating Dialogue Strategies in a Spoken Language System , 1996, ArXiv.
[69] Jean Vanderdonckt,et al. QTk: An Integrated Model-Based Approach to Designing Executable User Interfaces , 2000 .
[70] Gary M. Olson,et al. The Growth of Cognitive Modeling in Human-Computer Interaction Since GOMS , 1990, Hum. Comput. Interact..
[71] Alan F. Blackwell,et al. Mental imagery in program design and visual programming , 1999, Int. J. Hum. Comput. Stud..
[72] Fabio Paternò,et al. Verification of properties of human-computer dialogues with an infinite number of states , 1996 .
[73] Niels Ole Bernsen,et al. Towards a tool for predicting speech functionality , 1997, Speech Commun..
[74] Heinrich Hußmann,et al. Modular architecture for a toolset supporting OCL , 2000, Sci. Comput. Program..
[75] Kent L. Beck,et al. Extreme programming explained - embrace change , 1990 .
[76] Eric Braude. Software Engineering: An Object-Oriented Perspective , 2000 .
[77] Chris R. Douce. Long Term Comprehension of Software Systems: A Methodology for Study , 2001, PPIG.
[78] B. Nardi. Studying context: a comparison of activity theory, situated action models, and distributed cognition , 1995 .
[79] John F. Patterson,et al. Notification servers for synchronous groupware , 1996, CSCW '96.
[80] Jakob Zwiers,et al. Modelling interaction in virtual environments using process algebra , 1999 .
[81] Martin Peschke,et al. Design and Validation of Computer Protocols , 2003 .
[82] Ben Shneiderman,et al. Designing the User Interface: Strategies for Effective Human-Computer Interaction , 1998 .
[83] Philippe A. Palanque,et al. Contextual Help for Free with Formal Dialogue Design , 1993, HCI.
[84] Gerald M. Weinberg,et al. Psychology of computer programming , 1971 .
[85] Philippe A. Palanque,et al. Structuring Interactive Systems Specifications for Executability and Prototypability , 2000, DSV-IS.
[86] Thomas Rist,et al. The automated design of believable dialogues for animated presentation teams , 2001 .
[87] Jakob Nielsen,et al. Getting usability used , 1995, INTERACT.
[88] Amanda Stent,et al. TRAINS-96 System Evaluation , 1997 .
[89] Miriam Reiner,et al. Tools for Collaborative Learning in Optics , 1995 .
[90] Corin A Gurr Human. Supporting Formal Reasoning for Safety Critical Systems , 1994 .
[91] Philippe A. Palanque,et al. Formal Specification and Verification of CSCW using the Interactive Cooperative Object Formalism , 1995, BCS HCI.
[92] Deri Sheppard. Introduction to Formal Specifications with Z and VDM , 1994 .
[93] Barbara Hayes-Roth,et al. An intelligent guide for virtual environments , 1997, AGENTS '97.
[94] Thomas R. G. Green,et al. Structuring the programmer's task , 1977 .
[95] Anton Nijholt,et al. Dialogue Act Recognition with Bayesian Networks for Dutch Dialogues , 2002, SIGDIAL Workshop.
[96] David Benyon,et al. Displays as data structures: entity-relationship models of information artefacts , 1995, INTERACT.
[97] Hiroaki Kitano,et al. Toward a Plan-Based Understanding Model for Mixed-Initiative Dialogues , 1991, ACL.
[98] Kee Yong Lim,et al. Structured Notations for Human Factors Specification of Interactive Systems , 1993, HCI.
[99] Jan Broersen. Modal Action Logics for Reasoning about Reactive Systems , 2003 .
[100] Stephen C. Levinson,et al. Minimization and conversational inference , 1987 .
[101] Jennifer Chu-Carroll,et al. Tracking Initiative in Collaborative Dialogue Interactions , 1997, ACL.
[102] Bertrand Meyer,et al. Object-oriented software construction (2nd ed.) , 1997 .
[103] Thomas S. Tullis. Is User Interface Design Just Common Sense? , 1993, HCI.
[104] Robert D. Tortora,et al. INFLUENCE OF PLAIN VS. FANCY DESIGN ON RESPONSE RATES FOR WEB SURVEYS , 1999 .
[105] David Chenho Kung,et al. Change impact identification in object oriented software maintenance , 1994, Proceedings 1994 International Conference on Software Maintenance.
[106] Gerrit C. van der Veer,et al. Modeling complex work systems - method meets reality , 1996 .
[107] Nicholas R. Jennings,et al. Formal Specification of Multi-Agent Systems: A Real-World Case , 1995, ICMAS.
[108] Barbara Kitchenham,et al. Software Metrics: Measurement for Software Process Improvement , 1996 .
[109] Anthony F. Norcio,et al. Spoken Language Interaction: Effects of Vocabulary Size and Experience on User Efficiency and Acceptability , 1993, HCI.
[110] John Long,et al. Applying a Structured Method for Usability Engineering to Domestic Energy Management User Requirements: A Successful Case-study , 1995, BCS HCI.
[111] Jorg P. Muller,et al. The Design of Intelligent Agents: A Layered Approach , 1996 .
[112] David E. Kieras,et al. Predictive engineering models based on the EPIC architecture for a multimodal high-performance human-computer interaction task , 1997, TCHI.
[113] Robin Milner,et al. The Polyadic π-Calculus: a Tutorial , 1993 .
[114] Anthony Jameson,et al. How to Juggle Discourse Obligations , 1995 .
[115] Gary M. Olson,et al. The growth of cognitive modeling in human-computer interaction since GOMS , 1990 .
[116] Panagiotis Markopoulos,et al. A compositional model for the formal specification of user interface software , 2013 .
[117] Philippe Palanque,et al. Software Architecture Modelling: Bridging Two Worlds Using Ergonomics and Software Properties , 1998 .
[118] Jacob Lenting. Informed gambling : conception and analysis of a multi-agent mechanism for discrete reallocation , 1999 .
[119] Rob Miller,et al. The Amulet Environment: New Models for Effective User Interface Software Development , 1997, IEEE Trans. Software Eng..
[120] Arne Jönsson,et al. Dialogue management for natural language interfaces - an empirical approach , 1993, Linköping studies in science and technology dissertations.
[121] L. Mommers,et al. Applied legal epistemology. Building a knowledge-based ontology of the legal domain , 2002 .
[122] Edsger W. Dijkstra,et al. Go To Statement Considered Harmful , 2022, Software Pioneers.
[123] Jean Scholtz,et al. The Roles Beacons Play in Comprehension for Novice and Expert Programmers , 2002, PPIG.
[124] Jr. Frederick P. Brooks,et al. The mythical man-month (anniversary ed.) , 1995 .
[125] Linda Rising,et al. The Scrum Software Development Process for Small Teams , 2000, IEEE Softw..
[126] Marilyn A. Walker,et al. Standards for Dialogue Coding in Natural Language Processing , 1997 .
[127] Paul M. Sharkey,et al. Distortion in Distributed Virtual Environments , 1998, Virtual Worlds.
[128] Jaap Gordijn,et al. Value-based requirements engineering: exploring innovative e-commerce ideas , 2003, Requirements Engineering.
[129] Philippe A. Palanque,et al. Verification of an interactive software by analysis of its formal specification , 1995, INTERACT.
[130] James C. Lester,et al. Deictic and emotive communication in animated pedagogical agents , 2001 .
[131] Antinus Nijholt,et al. Speech and language interaction in a (virtual) cultural theatre , 1998 .
[132] Alan F. Blackwell,et al. See What You Need: Helping End-users to Build Abstractions , 2001, J. Vis. Lang. Comput..
[133] Klaus-Dieter Schewe,et al. UML: A Modern Dinosaur? A Critical Analysis of the Unified Modelling Language , 2000, EJC.
[134] Michael E. Atwood,et al. GOMS meets the phone company: Analytic modeling applied to real-world problems , 1990, INTERACT.
[135] Niels Ole Bernsen,et al. Designing interactive speech systems - from first ideas to user testing , 1998 .
[136] William Phillips. Architectures for Synchronous Groupware , 1999 .
[137] Simon Smith,et al. Is maintenance ready for evolution? , 1995, Proceedings of International Conference on Software Maintenance.
[138] Jan P. H. van Santen,et al. Review of Handbook of standards and resources for spoken language systems by Dafydd Gibbon, Roger Moore, and Richard Winski. Mouton de Gruyter 1997. , 1998 .
[139] J.S.J.H. Penders,et al. The practical art of moving physical objects , 1999 .
[140] Gregory D. Abowd,et al. Human-Computer Interaction. Second Edition. , 1998 .
[141] Tomás Isakowitz,et al. RMM: a methodology for structured hypermedia design , 1995, CACM.
[142] Akikazu Takeuchi,et al. Speech Dialogue With Facial Displays: Multimodal Human-Computer Conversation , 1994, ACL.
[143] Philippe Palanque,et al. From Formal Models to Empirical Evaluation and Back Again , 1998 .
[144] Bonnie E. John,et al. Tracking the effectiveness of usability evaluation methods , 1997, Behav. Inf. Technol..
[145] W. Buxton. Human-Computer Interaction , 1988, Springer Berlin Heidelberg.
[146] Siobhan Chapman. Logic and Conversation , 2005 .
[147] S. N. K. Watt,et al. Artificial Societies and Psychological Agents , 1997, Software Agents and Soft Computing.
[148] Themis Panayiotopoulos,et al. SimHuman: A Platform for Real-Time Virtual Agents with Planning Capabilities , 2001, IVA.
[149] D. Carrington,et al. Specifying the UQ* editor user-interface with Object-Z , 1997, Proceedings of Joint 4th International Computer Science Conference and 4th Asia Pacific Software Engineering Conference.
[150] W. Johnson,et al. Task-oriented collaboration with embodied agents in virtual worlds , 2001 .
[151] Norman W. Paton,et al. UMLi: The Unified Modeling Language for Interactive Applications , 2000, UML.
[152] Philippe A. Palanque,et al. Formal Methods in Human-Computer Interaction , 1997, Formal Approaches to Computing and Information Technology (FACIT).
[153] Victor Kaptelinin,et al. Activity Theory: Basic Concepts and Applications , 1995, EWHCI.
[154] David M. Beazley,et al. Python Essential Reference , 1999 .
[155] David E. Kieras,et al. A Guide to GOMS Model Usability Evaluation using NGOMSL , 1997 .
[156] Kevin Mills. An Experimental Evaluation of Specification Techniques for Improving Functional Testing , 1996, J. Syst. Softw..
[157] Richard N. Taylor,et al. A Component- and Message-Based Architectural Style for GUI Software , 1995, 1995 17th International Conference on Software Engineering.
[158] Timothy W. Finin,et al. A Proposal for a new KQML Specification , 1997 .
[159] W. Minker. Evaluation Methodologies for Interactive Speech Systems , 1998 .
[160] Karen Sparck Jones,et al. Book Reviews: Evaluating Natural Language Processing Systems: An Analysis and Review , 1996, CL.
[161] Catholijn M. Jonker,et al. Agents negotiating for load balancing of electricity use , 1998, Proceedings. 18th International Conference on Distributed Computing Systems (Cat. No.98CB36183).
[162] B. W. van Schooten,et al. Structuring Distributed Virtual Environments Using a Relational Database Model , 2001 .
[163] Bonnie E. John,et al. A GOMS analysis of a graphic machine-paced, highly interactive task , 1992, CHI.
[164] Wolfgang Wahlster,et al. SmartKom: Towards Multimodal Dialogues with Anthropomorphic Interface Agents , 2001 .
[165] Valérie Issarny,et al. Component-Based Programming of Distributed Applications , 1999, Advances in Distributed Systems.
[166] Ritu Agarwal,et al. The role of prior experience and task characteristics in object-oriented modeling: an empirical study , 1996, Int. J. Hum. Comput. Stud..
[167] Nancy Wogrin,et al. Rule-Based Programming With Ops 5 , 1988 .
[168] Donald A. Norman,et al. How might people interact with agents , 1994, CACM.
[169] Marian Petre,et al. When Visual Programs are Harder to Read than Textual Programs , 1992 .
[170] Deborah Hix,et al. A Model of Behavioral Techniques for Representing User Interface Designs , 1993, HCI.
[171] Barbara Kitchenham,et al. Research and Practice: Software Design Methods and Tools , 1990 .
[172] Wolfgang Minker,et al. Evaluation methodologies for interactive speech system , 1998, LREC.
[173] Ian Horrocks,et al. Constructing the User Interface with Statecharts , 1999 .
[174] Bart Kuijpers,et al. Deciding Termination of Query Evaluation in Transitive-Closure Logics for Constraint Databases , 2003, ICDT.
[175] Michèle Courant,et al. Grounding Agents in EMud Artificial Worlds , 1998, Virtual Worlds.
[176] Chris Baber,et al. Modelling Error Recovery and Repair in Automatic Speech Recognition , 1993, Int. J. Man Mach. Stud..
[177] Michel Beaudouin-Lafon,et al. A Taxonomy and Evaluation of Formalisms for the Specification of Interactive Systems , 1995, BCS HCI.
[178] A. J. Lehmann. Causation in artificial intelligence and law : a modelling approach , 2003 .
[179] B. W. van Schooten. A specification technique for building interface agents in a web environment , 2000 .
[180] Lynn Lambert,et al. Modeling Negotiation Subdialogues , 1992, ACL.
[181] John Zukowski. Mastering Java 2 , 1998 .
[182] Rik Eshuis,et al. Semantics and Verification of UML Activity Diagrams for Workflow Modelling , 2002 .
[183] Robin Milner,et al. A Calculus of Communicating Systems , 1980, Lecture Notes in Computer Science.
[184] David Benyon,et al. The skull beneath the skin: entity-relationship models of information artifacts , 1996, Int. J. Hum. Comput. Stud..
[185] Jiajie Zhang,et al. Representations in Distributed Cognitive Tasks , 1994, Cogn. Sci..
[186] Stefan Manegold,et al. Understanding, modeling, and improving main-memory database performance , 2002 .
[187] Anthony Hall,et al. Do interactive systems need specifications? , 1997, DSV-IS.
[188] Markus Lepper,et al. Using use cases in Executable Z , 2000, ICFEM 2000. Third IEEE International Conference on Formal Engineering Methods.
[189] R. J. Beun,et al. Dialogue and Instruction: Modelling Interaction in Intelligent Tutoring Systems , 1995 .
[190] Marilyn A. Walker,et al. PARADISE: A Framework for Evaluating Spoken Dialogue Agents , 1997, ACL.
[191] Neerincx,et al. Human-computer interaction and presence in virtual reality exposure therapy , 2003 .
[192] Michael D. Harrison,et al. Formal methods in human-computer interaction , 1990 .
[193] Frédéric Boussinot,et al. Distributed reactive machines , 1998, Proceedings Fifth International Conference on Real-Time Computing Systems and Applications (Cat. No.98EX236).
[194] John W. Daly,et al. The effect of inheritance on the maintainability of object-oriented software: an empirical study , 1995, Proceedings of International Conference on Software Maintenance.
[195] Thomas C. Nicholas Graham. Declarative development of interactive systems , 1995 .
[196] Alexandre Topol. Immersion of Xwindow applications into a 3D workbench , 2000, CHI Extended Abstracts.
[197] Joëlle Coutaz,et al. PAC-ing the architecture of your user interface , 1997, DSV-IS.
[198] Kate Ehrlich,et al. Empirical Studies of Programming Knowledge , 1984, IEEE Transactions on Software Engineering.
[199] David Carrington,et al. Using object-Z to compare the MVC and PAC architectures , 1996 .
[200] Arthur C. Graesser,et al. Teaching Tactics and Dialog in AutoTutor , 2001 .
[201] Richard R. Muntz,et al. COCA: collaborative objects coordination architecture , 1998, CSCW '98.
[202] David J. Gilmore,et al. Interface design: have we got it wrong? , 1995, INTERACT.
[203] Jim Webber,et al. Gotos Considered Harmful and Other Programmers' Taboos , 2000, PPIG.
[204] Philippe Codognet,et al. The InViWo Toolkit: Describing Autonomous Virtual Agents and Avatars , 2001, IVA.
[205] Catholijn M. Jonker,et al. Agent-Based Simulation of Reactive, Pro-active and Social animal Behaviour , 1998, IEA/AIE.
[206] D. Richard Hipp,et al. Spoken Natural Language Dialog Systems: A Practical Approach , 1994 .
[207] Thomas R. G. Green,et al. Cognitive dimensions of notations , 1990 .
[208] G. de Haan,et al. Formal modelling techniques in human-computer interaction , 1991 .
[209] Alan Cooper,et al. The Inmates Are Running the Asylum: Why High Tech Products Drive Us Crazy and How to Restore the Sanity (2nd Edition) , 1999 .
[210] Joëlle Coutaz,et al. From single-user architectural design to PAC*: a generic software architecture model for CSCW , 1997, CHI.
[211] Peter Thanisch,et al. Natural language interfaces to databases – an introduction , 1995, Natural Language Engineering.
[212] James F. Allen,et al. Intonational Boundaries, Speech Repairs, and Discourse Markers: Modeling Spoken Dialog , 1997, ACL.
[213] P R Cohen,et al. The role of voice input for human-machine communication. , 1995, Proceedings of the National Academy of Sciences of the United States of America.
[214] Sape J. Mullender. Distributed Systems (2nd edition) , 1993 .
[215] James F. Allen,et al. TRAINS-95 System Evaluation , 1996 .
[216] Anton Nijholt,et al. Jacob - An Animated Instruction Agent in Virtual Reality , 2000, ICMI.
[217] Marcia C. Linn,et al. Supporting Pascal Programming with an On-Line Template Library and Case Studies , 1993, Int. J. Man Mach. Stud..
[218] Rikk Carey,et al. The annotated VRML 2.0 reference manual , 1997 .
[219] C. A. R. Hoare,et al. Communicating sequential processes , 1978, CACM.
[220] Anker Helms Jørgensen,et al. Perceptions of design rationale , 1995, INTERACT.
[221] Marilyn A. Walker,et al. Evaluating competing agent strategies for a voice email agent , 1997, EUROSPEECH.
[222] Guruduth Banavar,et al. Rapidly building synchronous collaborative applications by direct manipulation , 1998, CSCW '98.
[223] Tamara Munzner,et al. Visualizing the structure of the World Wide Web in 3D hyperbolic space , 1995, VRML '95.
[224] Ans A. G. Steuten. A contribution to the linguistic analysis of business conversations within the language/action perspective , 1998 .
[225] Adelheit Stein,et al. Structuring collaborative information-seeking dialogues , 1995, Knowl. Based Syst..
[226] R. V. D. Pol. Knowledge-based query formulation in information retrieval , 2000 .
[227] David Harel,et al. Modeling Reactive Systems With Statecharts : The Statemate Approach , 1998 .
[228] Juan Roberto Castelo Valdueza,et al. The Discrete Acyclic Digraph Markov Model in Data Mining , 2002 .
[229] Patrick Th. Eugster,et al. Distributed Asynchronous Collections: Abstractions for Publish/Subscribe Interaction , 2000, ECOOP.
[230] Richard Mark Eastgate,et al. The structured development of virtual environments : enhancing functionality and interactivity , 2001 .
[231] Thilo Kielmann,et al. Designing a Coordination Model for Open Systems , 1996, COORDINATION.
[232] Paulo Pinheiro,et al. User Interface Declarative Models and Development Environments: A Survey , 2000, DSV-IS.
[233] Gerrit van der Hoeven,et al. Corpus-based Approaches to Dialogue Modelling (TWLT9) , 1995 .
[234] John B. Raley. Factors Affecting the Programming Performance of Computer Science Students , 1996 .
[235] B. W. van Schooten. Process- and agent-based modelling techniques for dialogue systems and virtual environments , 2000 .
[236] F. J. Wiesman,et al. Information retrieval by graphically browsing meta-information , 1998 .
[237] M. Roper,et al. Object-oriented inspection in the face of delocalisation , 2000, Proceedings of the 2000 International Conference on Software Engineering. ICSE 2000 the New Millennium.
[238] Alan F. Blackwell,et al. Investment of attention as an analytic approach to cognitive dimensions , 1999, PPIG.
[239] Tom Rodden,et al. Exploring the design space for notification servers , 1998, CSCW '98.
[240] Frank S. de Boer,et al. Operational Semantics for Agent Communication Languages , 2000, Issues in Agent Communication.
[241] Eugueni Smirnov,et al. Conjunctive and Disjunctive Version Spaces with Instance-based Boundary Sets , 2001 .