Keynote Talk

• 
  Gert Smolka: The Development of Oz and Mozart. 1

Security

• 
  Mark S. Miller, Bill Tulloh, Jonathan S. Shapiro: The Structure of Authority: Why Security Is Not a Separable Concern. 2-20
• 
  Fred Spiessens, Peter Van Roy: The Oz-E Project: Design Guidelines for a Secure Multiparadigm Programming Language. 21-40

Computer Science Education

• 
  Isabelle Dony, Baudouin Le Charlier: A Program Verification System Based on Oz. 41-52
• 
  Juris Reinfelds: Higher Order Programming for Unordered Minds. 53-65

Software Engineering

• 
  Tim Wahls: Compiling Formal Specifications to Oz Programs. 66-77
• 
  Jean-François Molderez, Christophe Ponsard: Deriving Acceptance Tests from Goal Requirements. 78-88

Human-Computer Interfaces and the Web

• 
  Hala Mostafa, Reem Bahgat: Using Mozart for Visualizing Agent-Based Simulations. 89-102
• 
  Mahmoud Rafea: Web Technologies for Mozart Applications. 103-112
• 
  Sameh El-Ansary, Donatien Grolaux, Peter Van Roy, Mahmoud Rafea: Overcoming the Multiplicity of Languages and Technologies for Web-Based Development Using a Multi-paradigm Approach. 113-124

Distributed Programming

• 
  Valentin Mesaros, Bruno Carton, Peter Van Roy: P2PS: Peer-to-Peer Development Platform for Mozart. 125-136
• 
  Dragan Havelka, Christian Schulte, Per Brand, Seif Haridi: Thread-Based Mobility in Oz. 137-148
• 
  Donatien Grolaux, Kevin Glynn, Peter Van Roy: A Fault Tolerant Abstraction for Transparent Distributed Programming. 149-160

Grammars and Natural Language

• 
  Torbjörn Lager, Fredrik Kronlid: The CURRENT Platform: Building Conversational Agents in Oz. 161-174
• 
  Denys Duchier, Joseph Le Roux, Yannick Parmentier: The Metagrammar Compiler: An NLP Application with a Multi-paradigm Architecture. 175-187
• 
  Ralph Debusmann, Denys Duchier, Joachim Niehren: The XDG Grammar Development Kit. 188-199

Constraint Research

• 
  Renaud De Landtsheer: Solving CSP Including a Universal Quantification. 200-210
• 
  Guido Tack, Didier Le Botlan: Compositional Abstractions for Search Factories. 211-223
• 
  Alberto Delgado, Carlos Alberto Olarte, Jorge Andrés Pérez, Camilo Rueda: Implementing Semiring-Based Constraints Using Mozart. 224-236
• 
  Grégoire Dooms, Yves Deville, Pierre Dupont: A Mozart Implementation of CP(BioNet). 237-250

Constraint Applications

• 
  Raphaël Collet: Playing the Minesweeper with Constraints. 251-262
• 
  Juan Francisco Díaz, Gustavo Gutierrez, Carlos Alberto Olarte, Camilo Rueda: Using Constraint Programming for Reconfiguration of Electrical Power Distribution Networks. 263-276
• 
  Torsten Anders, Christina Anagnostopoulou, Michael Alcorn: Strasheela: Design and Usage of a Music Composition Environment Based on the Oz Programming Model. 277-291
• 
  Juan Francisco Díaz, Javier Andrés Mena: Solving the Aircraft Sequencing Problem Using Concurrent Constraint Programming. 292-304
• 
  Jesús Aranda, Juan Francisco Díaz, V. James Ortíz: The Problem of Assigning Evaluators to the Articles Submitted in an Academic Event: A Practical Solution Incorporating Constraint Programming and Heuristics. 305-316
• 
  Alberto Delgado, Jorge Andrés Pérez, Gustavo Pabón, Rafael Jordan, Juan Francisco Díaz, Camilo Rueda: An Interactive Tool for the Controlled Execution of an Automated Timetabling Constraint Engine. 317-327

last updated on Wed May 22 04:57:06 2013 by the dblp team
data released under the ODC-BY 1.0 license
see also our legal information page