Search results for "MOZ"

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

Publications at "MOZ"( http://dblp.L3S.de/Venues/MOZ )