The SCEAS System
Navigation Menu

Conferences in DBLP

Multiparadigm Programming in Mozart/Oz (moz)
2004 (conf/moz/2004)

  1. Gert Smolka
    The Development of Oz and Mozart. [Citation Graph (0, 0)][DBLP]
    MOZ, 2004, pp:1- [Conf]
  2. 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]
  3. 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]
  4. Isabelle Dony, Baudouin Le Charlier
    A Program Verification System Based on Oz. [Citation Graph (0, 0)][DBLP]
    MOZ, 2004, pp:41-52 [Conf]
  5. Juris Reinfelds
    Higher Order Programming for Unordered Minds. [Citation Graph (0, 0)][DBLP]
    MOZ, 2004, pp:53-65 [Conf]
  6. Tim Wahls
    Compiling Formal Specifications to Oz Programs. [Citation Graph (0, 0)][DBLP]
    MOZ, 2004, pp:66-77 [Conf]
  7. Jean-François Molderez, Christophe Ponsard
    Deriving Acceptance Tests from Goal Requirements. [Citation Graph (0, 0)][DBLP]
    MOZ, 2004, pp:78-88 [Conf]
  8. Hala Mostafa, Reem Bahgat
    Using Mozart for Visualizing Agent-Based Simulations. [Citation Graph (0, 0)][DBLP]
    MOZ, 2004, pp:89-102 [Conf]
  9. Mahmoud Rafea
    Web Technologies for Mozart Applications. [Citation Graph (0, 0)][DBLP]
    MOZ, 2004, pp:103-112 [Conf]
  10. 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]
  11. 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]
  12. Dragan Havelka, Christian Schulte, Per Brand, Seif Haridi
    Thread-Based Mobility in Oz. [Citation Graph (0, 0)][DBLP]
    MOZ, 2004, pp:137-148 [Conf]
  13. 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]
  14. Torbjörn Lager, Fredrik Kronlid
    The CURRENT Platform: Building Conversational Agents in Oz. [Citation Graph (0, 0)][DBLP]
    MOZ, 2004, pp:161-174 [Conf]
  15. 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]
  16. Ralph Debusmann, Denys Duchier, Joachim Niehren
    The XDG Grammar Development Kit. [Citation Graph (0, 0)][DBLP]
    MOZ, 2004, pp:188-199 [Conf]
  17. Renaud De Landtsheer
    Solving CSP Including a Universal Quantification. [Citation Graph (0, 0)][DBLP]
    MOZ, 2004, pp:200-210 [Conf]
  18. Guido Tack, Didier Le Botlan
    Compositional Abstractions for Search Factories. [Citation Graph (0, 0)][DBLP]
    MOZ, 2004, pp:211-223 [Conf]
  19. 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]
  20. 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]
  21. Raphaël Collet
    Playing the Minesweeper with Constraints. [Citation Graph (0, 0)][DBLP]
    MOZ, 2004, pp:251-262 [Conf]
  22. 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]
  23. 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]
  24. 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]
  25. 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]
  26. 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]
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002