Dieser Download kann aus rechtlichen Gründen nur mit Rechnungsadresse in A, B, BG, CY, CZ, D, DK, EW, E, FIN, F, GR, HR, H, IRL, I, LT, L, LR, M, NL, PL, P, R, S, SLO, SK ausgeliefert werden.
Herstellerkennzeichnung
Die Herstellerinformationen sind derzeit nicht verfügbar.
Autorenporträt
Peter Van Roy, Université catholique de Louvain, Belgium
Inhaltsangabe
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.
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.
Es gelten unsere Allgemeinen Geschäftsbedingungen: www.buecher.de/agb
Impressum
www.buecher.de ist ein Internetauftritt der buecher.de internetstores GmbH
Geschäftsführung: Monica Sawhney | Roland Kölbl | Günter Hilger
Sitz der Gesellschaft: Batheyer Straße 115 - 117, 58099 Hagen
Postanschrift: Bürgermeister-Wegele-Str. 12, 86167 Augsburg
Amtsgericht Hagen HRB 13257
Steuernummer: 321/5800/1497
USt-IdNr: DE450055826
