MOZ

Keyphrases

Publications

volume 3389, 2005

Multiparadigm Programming in Mozart/Oz, Second International Conference, MOZ 2004, Charleroi, Belgium, October 7-8, 2004, Revised Selected and Invited Papers MOZ 3389 (2005)

2004

Juris Reinfelds
Higher Order Programming for Unordered Minds. MOZ (2004)
Torbjörn Lager, Fredrik Kronlid
The CURRENT Platform: Building Conversational Agents in Oz. MOZ (2004)
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. MOZ (2004)
Mark S. Miller, Bill Tulloh, Jonathan S. Shapiro
The Structure of Authority: Why Security Is Not a Separable Concern. MOZ (2004)
Juan Francisco Díaz, Javier Andrés Mena
Solving the Aircraft Sequencing Problem Using Concurrent Constraint Programming. MOZ (2004)
Donatien Grolaux, Kevin Glynn, Peter Van Roy
A Fault Tolerant Abstraction for Transparent Distributed Programming. MOZ (2004)
Raphaël Collet
Playing the Minesweeper with Constraints. MOZ (2004)
Grégoire Dooms, Yves Deville, Pierre Dupont
A Mozart Implementation of CP(BioNet). MOZ (2004)
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. MOZ (2004)
Gert Smolka
The Development of Oz and Mozart. MOZ (2004)
Isabelle Dony, Baudouin Le Charlier
A Program Verification System Based on Oz. MOZ (2004)
Mahmoud Rafea
Web Technologies for Mozart Applications. MOZ (2004)
Torsten Anders, Christina Anagnostopoulou, Michael Alcorn
Strasheela: Design and Usage of a Music Composition Environment Based on the Oz Programming Model. MOZ (2004)
Tim Wahls
Compiling Formal Specifications to Oz Programs. MOZ (2004)
Jean-François Molderez, Christophe Ponsard
Deriving Acceptance Tests from Goal Requirements. MOZ (2004)
Alberto Delgado, Carlos Alberto Olarte, Jorge Andrés Pérez, Camilo Rueda
Implementing Semiring-Based Constraints Using Mozart. MOZ (2004)
Ralph Debusmann, Denys Duchier, Joachim Niehren
The XDG Grammar Development Kit. MOZ (2004)
Hala Mostafa, Reem Bahgat
Using Mozart for Visualizing Agent-Based Simulations. MOZ (2004)
Guido Tack, Didier Le Botlan
Compositional Abstractions for Search Factories. MOZ (2004)
Renaud De Landtsheer
Solving CSP Including a Universal Quantification. MOZ (2004)
Fred Spiessens, Peter Van Roy
The Oz-E Project: Design Guidelines for a Secure Multiparadigm Programming Language. MOZ (2004)
Dragan Havelka, Christian Schulte, Per Brand, Seif Haridi
Thread-Based Mobility in Oz. MOZ (2004)
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. MOZ (2004)
Valentin Mesaros, Bruno Carton, Peter Van Roy
P2PS: Peer-to-Peer Development Platform for Mozart. MOZ (2004)
Juan Francisco Díaz, Gustavo Gutierrez, Carlos Alberto Olarte, Camilo Rueda
Using Constraint Programming for Reconfiguration of Electrical Power Distribution Networks. MOZ (2004)
Denys Duchier, Joseph Le Roux, Yannick Parmentier
The Metagrammar Compiler: An NLP Application with a Multi-paradigm Architecture. MOZ (2004)