Zur Zeit liegt uns keine Inhaltsangabe vor.
Inhaltsverzeichnis
Keynote Talk. - The Development of Oz and Mozart. - Security. - The Structure of Authority: Why Security Is Not a Separable Concern. - The Oz-E Project: Design Guidelines for a Secure Multiparadigm Programming Language. - Computer Science Education. - A Program Verification System Based on Oz. - Higher Order Programming for Unordered Minds. - Software Engineering. - Compiling Formal Specifications to Oz Programs. - Deriving Acceptance Tests from Goal Requirements. - Human-Computer Interfaces and the Web. - Using Mozart for Visualizing Agent-Based Simulations. - Web Technologies for Mozart Applications. - Overcoming the Multiplicity of Languages and Technologies for Web-Based Development Using a Multi-paradigm Approach. - Distributed Programming. - P2PS: Peer-to-Peer Development Platform for Mozart. - Thread-Based Mobility in Oz. - A Fault Tolerant Abstraction for Transparent Distributed Programming. - Grammars and Natural Language. - The CURRENT Platform: Building Conversational Agents in Oz. - The Metagrammar Compiler: An NLP Application with a Multi-paradigm Architecture. - The XDG Grammar Development Kit. - Constraint Research. - Solving CSP Including a Universal Quantification. - Compositional Abstractions for Search Factories. - Implementing Semiring-Based Constraints Using Mozart. - A Mozart Implementation of CP(BioNet). - Constraint Applications. - Playing the Minesweeper with Constraints. - Using Constraint Programming for Reconfiguration of Electrical Power Distribution Networks. - Strasheela: Design and Usage of a Music Composition Environment Based on the Oz Programming Model. - Solving the Aircraft Sequencing Problem Using Concurrent Constraint Programming. - The Problem of Assigning Evaluators to the Articles Submitted in an Academic Event: A Practical Solution Incorporating Constraint Programming and Heuristics. - An Interactive Tool for the Controlled Execution of an Automated Timetabling Constraint Engine.
