|
Conferences in DBLP
- Gert Smolka
The Development of Oz and Mozart. [Citation Graph (0, 0)][DBLP] MOZ, 2004, pp:1- [Conf]
- Mark S. Miller, Bill Tulloh, Jonathan S. Shapiro
The Structure of Authority: Why Security Is Not a Separable Concern. [Citation Graph (0, 0)][DBLP] MOZ, 2004, pp:2-20 [Conf]
- Fred Spiessens, Peter Van Roy
The Oz-E Project: Design Guidelines for a Secure Multiparadigm Programming Language. [Citation Graph (0, 0)][DBLP] MOZ, 2004, pp:21-40 [Conf]
- Isabelle Dony, Baudouin Le Charlier
A Program Verification System Based on Oz. [Citation Graph (0, 0)][DBLP] MOZ, 2004, pp:41-52 [Conf]
- Juris Reinfelds
Higher Order Programming for Unordered Minds. [Citation Graph (0, 0)][DBLP] MOZ, 2004, pp:53-65 [Conf]
- Tim Wahls
Compiling Formal Specifications to Oz Programs. [Citation Graph (0, 0)][DBLP] MOZ, 2004, pp:66-77 [Conf]
- Jean-François Molderez, Christophe Ponsard
Deriving Acceptance Tests from Goal Requirements. [Citation Graph (0, 0)][DBLP] MOZ, 2004, pp:78-88 [Conf]
- Hala Mostafa, Reem Bahgat
Using Mozart for Visualizing Agent-Based Simulations. [Citation Graph (0, 0)][DBLP] MOZ, 2004, pp:89-102 [Conf]
- Mahmoud Rafea
Web Technologies for Mozart Applications. [Citation Graph (0, 0)][DBLP] MOZ, 2004, pp:103-112 [Conf]
- 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. [Citation Graph (0, 0)][DBLP] MOZ, 2004, pp:113-124 [Conf]
- Valentin Mesaros, Bruno Carton, Peter Van Roy
P2PS: Peer-to-Peer Development Platform for Mozart. [Citation Graph (0, 0)][DBLP] MOZ, 2004, pp:125-136 [Conf]
- Dragan Havelka, Christian Schulte, Per Brand, Seif Haridi
Thread-Based Mobility in Oz. [Citation Graph (0, 0)][DBLP] MOZ, 2004, pp:137-148 [Conf]
- Donatien Grolaux, Kevin Glynn, Peter Van Roy
A Fault Tolerant Abstraction for Transparent Distributed Programming. [Citation Graph (0, 0)][DBLP] MOZ, 2004, pp:149-160 [Conf]
- Torbjörn Lager, Fredrik Kronlid
The CURRENT Platform: Building Conversational Agents in Oz. [Citation Graph (0, 0)][DBLP] MOZ, 2004, pp:161-174 [Conf]
- Denys Duchier, Joseph Le Roux, Yannick Parmentier
The Metagrammar Compiler: An NLP Application with a Multi-paradigm Architecture. [Citation Graph (0, 0)][DBLP] MOZ, 2004, pp:175-187 [Conf]
- Ralph Debusmann, Denys Duchier, Joachim Niehren
The XDG Grammar Development Kit. [Citation Graph (0, 0)][DBLP] MOZ, 2004, pp:188-199 [Conf]
- Renaud De Landtsheer
Solving CSP Including a Universal Quantification. [Citation Graph (0, 0)][DBLP] MOZ, 2004, pp:200-210 [Conf]
- Guido Tack, Didier Le Botlan
Compositional Abstractions for Search Factories. [Citation Graph (0, 0)][DBLP] MOZ, 2004, pp:211-223 [Conf]
- Alberto Delgado, Carlos Alberto Olarte, Jorge Andrés Pérez, Camilo Rueda
Implementing Semiring-Based Constraints Using Mozart. [Citation Graph (0, 0)][DBLP] MOZ, 2004, pp:224-236 [Conf]
- Grégoire Dooms, Yves Deville, Pierre E. Dupont
A Mozart Implementation of CP(BioNet). [Citation Graph (0, 0)][DBLP] MOZ, 2004, pp:237-250 [Conf]
- Raphaël Collet
Playing the Minesweeper with Constraints. [Citation Graph (0, 0)][DBLP] MOZ, 2004, pp:251-262 [Conf]
- Juan Francisco Díaz, Gustavo Gutierrez, Carlos Alberto Olarte, Camilo Rueda
Using Constraint Programming for Reconfiguration of Electrical Power Distribution Networks. [Citation Graph (0, 0)][DBLP] MOZ, 2004, pp:263-276 [Conf]
- Torsten Anders, Christina Anagnostopoulou, Michael Alcorn
Strasheela: Design and Usage of a Music Composition Environment Based on the Oz Programming Model. [Citation Graph (0, 0)][DBLP] MOZ, 2004, pp:277-291 [Conf]
- Juan Francisco Díaz, Javier Andrés Mena
Solving the Aircraft Sequencing Problem Using Concurrent Constraint Programming. [Citation Graph (0, 0)][DBLP] MOZ, 2004, pp:292-304 [Conf]
- B. 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. [Citation Graph (0, 0)][DBLP] MOZ, 2004, pp:305-316 [Conf]
- 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. [Citation Graph (0, 0)][DBLP] MOZ, 2004, pp:317-327 [Conf]
|