default search action
MOZ 2004: Charleroi, Belgium
- Peter Van Roy:
Multiparadigm Programming in Mozart/Oz, Second International Conference, MOZ 2004, Charleroi, Belgium, October 7-8, 2004, Revised Selected and Invited Papers. Lecture Notes in Computer Science 3389, Springer 2005, ISBN 3-540-25079-4
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
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
Solving the Aircraft Sequencing Problem Using Concurrent Constraint Programming. 292-304 - Jesús Aranda, Juan Francisco Díaz
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
An Interactive Tool for the Controlled Execution of an Automated Timetabling Constraint Engine. 317-327
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2025-01-03 23:16 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by: