Stop the war!
Остановите войну!
for scientists:
default search action
Search dblp for Publications
export results for "toc:db/conf/moz/moz2004.bht:"
@proceedings{DBLP:conf/moz/2004, editor = {Peter Van Roy}, title = {Multiparadigm Programming in Mozart/Oz, Second International Conference, {MOZ} 2004, Charleroi, Belgium, October 7-8, 2004, Revised Selected and Invited Papers}, series = {Lecture Notes in Computer Science}, volume = {3389}, publisher = {Springer}, year = {2005}, url = {https://doi.org/10.1007/b106627}, doi = {10.1007/B106627}, isbn = {3-540-25079-4}, timestamp = {Tue, 14 May 2019 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/moz/2004.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/moz/AndersAA04, author = {Torsten Anders and Christina Anagnostopoulou and Michael Alcorn}, editor = {Peter Van Roy}, title = {Strasheela: Design and Usage of a Music Composition Environment Based on the Oz Programming Model}, booktitle = {Multiparadigm Programming in Mozart/Oz, Second International Conference, {MOZ} 2004, Charleroi, Belgium, October 7-8, 2004, Revised Selected and Invited Papers}, series = {Lecture Notes in Computer Science}, volume = {3389}, pages = {277--291}, publisher = {Springer}, year = {2004}, url = {https://doi.org/10.1007/978-3-540-31845-3\_23}, doi = {10.1007/978-3-540-31845-3\_23}, timestamp = {Tue, 14 May 2019 10:00:51 +0200}, biburl = {https://dblp.org/rec/conf/moz/AndersAA04.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/moz/ArandaDO04, author = {Jes{\'{u}}s Aranda and Juan Francisco D{\'{\i}}az and V. James Ort{\'{\i}}z}, editor = {Peter Van Roy}, title = {The Problem of Assigning Evaluators to the Articles Submitted in an Academic Event: {A} Practical Solution Incorporating Constraint Programming and Heuristics}, booktitle = {Multiparadigm Programming in Mozart/Oz, Second International Conference, {MOZ} 2004, Charleroi, Belgium, October 7-8, 2004, Revised Selected and Invited Papers}, series = {Lecture Notes in Computer Science}, volume = {3389}, pages = {305--316}, publisher = {Springer}, year = {2004}, url = {https://doi.org/10.1007/978-3-540-31845-3\_25}, doi = {10.1007/978-3-540-31845-3\_25}, timestamp = {Fri, 26 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/moz/ArandaDO04.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/moz/Collet04, author = {Rapha{\"{e}}l Collet}, editor = {Peter Van Roy}, title = {Playing the Minesweeper with Constraints}, booktitle = {Multiparadigm Programming in Mozart/Oz, Second International Conference, {MOZ} 2004, Charleroi, Belgium, October 7-8, 2004, Revised Selected and Invited Papers}, series = {Lecture Notes in Computer Science}, volume = {3389}, pages = {251--262}, publisher = {Springer}, year = {2004}, url = {https://doi.org/10.1007/978-3-540-31845-3\_21}, doi = {10.1007/978-3-540-31845-3\_21}, timestamp = {Fri, 26 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/moz/Collet04.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/moz/DebusmannDN04, author = {Ralph Debusmann and Denys Duchier and Joachim Niehren}, editor = {Peter Van Roy}, title = {The {XDG} Grammar Development Kit}, booktitle = {Multiparadigm Programming in Mozart/Oz, Second International Conference, {MOZ} 2004, Charleroi, Belgium, October 7-8, 2004, Revised Selected and Invited Papers}, series = {Lecture Notes in Computer Science}, volume = {3389}, pages = {188--199}, publisher = {Springer}, year = {2004}, url = {https://doi.org/10.1007/978-3-540-31845-3\_16}, doi = {10.1007/978-3-540-31845-3\_16}, timestamp = {Fri, 26 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/moz/DebusmannDN04.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/moz/DelgadoOPR04, author = {Alberto Delgado and Carlos Alberto Olarte and Jorge Andr{\'{e}}s P{\'{e}}rez and Camilo Rueda}, editor = {Peter Van Roy}, title = {Implementing Semiring-Based Constraints Using Mozart}, booktitle = {Multiparadigm Programming in Mozart/Oz, Second International Conference, {MOZ} 2004, Charleroi, Belgium, October 7-8, 2004, Revised Selected and Invited Papers}, series = {Lecture Notes in Computer Science}, volume = {3389}, pages = {224--236}, publisher = {Springer}, year = {2004}, url = {https://doi.org/10.1007/978-3-540-31845-3\_19}, doi = {10.1007/978-3-540-31845-3\_19}, timestamp = {Fri, 26 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/moz/DelgadoOPR04.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/moz/DelgadoPPJDR04, author = {Alberto Delgado and Jorge Andr{\'{e}}s P{\'{e}}rez and Gustavo Pab{\'{o}}n and Rafael Jordan and Juan Francisco D{\'{\i}}az and Camilo Rueda}, editor = {Peter Van Roy}, title = {An Interactive Tool for the Controlled Execution of an Automated Timetabling Constraint Engine}, booktitle = {Multiparadigm Programming in Mozart/Oz, Second International Conference, {MOZ} 2004, Charleroi, Belgium, October 7-8, 2004, Revised Selected and Invited Papers}, series = {Lecture Notes in Computer Science}, volume = {3389}, pages = {317--327}, publisher = {Springer}, year = {2004}, url = {https://doi.org/10.1007/978-3-540-31845-3\_26}, doi = {10.1007/978-3-540-31845-3\_26}, timestamp = {Fri, 26 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/moz/DelgadoPPJDR04.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/moz/DiazGOR04, author = {Juan Francisco D{\'{\i}}az and Gustavo Gutierrez and Carlos Alberto Olarte and Camilo Rueda}, editor = {Peter Van Roy}, title = {Using Constraint Programming for Reconfiguration of Electrical Power Distribution Networks}, booktitle = {Multiparadigm Programming in Mozart/Oz, Second International Conference, {MOZ} 2004, Charleroi, Belgium, October 7-8, 2004, Revised Selected and Invited Papers}, series = {Lecture Notes in Computer Science}, volume = {3389}, pages = {263--276}, publisher = {Springer}, year = {2004}, url = {https://doi.org/10.1007/978-3-540-31845-3\_22}, doi = {10.1007/978-3-540-31845-3\_22}, timestamp = {Fri, 26 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/moz/DiazGOR04.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/moz/DiazM04, author = {Juan Francisco D{\'{\i}}az and Javier Andr{\'{e}}s Mena}, editor = {Peter Van Roy}, title = {Solving the Aircraft Sequencing Problem Using Concurrent Constraint Programming}, booktitle = {Multiparadigm Programming in Mozart/Oz, Second International Conference, {MOZ} 2004, Charleroi, Belgium, October 7-8, 2004, Revised Selected and Invited Papers}, series = {Lecture Notes in Computer Science}, volume = {3389}, pages = {292--304}, publisher = {Springer}, year = {2004}, url = {https://doi.org/10.1007/978-3-540-31845-3\_24}, doi = {10.1007/978-3-540-31845-3\_24}, timestamp = {Fri, 26 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/moz/DiazM04.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/moz/DonyC04, author = {Isabelle Dony and Baudouin Le Charlier}, editor = {Peter Van Roy}, title = {A Program Verification System Based on Oz}, booktitle = {Multiparadigm Programming in Mozart/Oz, Second International Conference, {MOZ} 2004, Charleroi, Belgium, October 7-8, 2004, Revised Selected and Invited Papers}, series = {Lecture Notes in Computer Science}, volume = {3389}, pages = {41--52}, publisher = {Springer}, year = {2004}, url = {https://doi.org/10.1007/978-3-540-31845-3\_4}, doi = {10.1007/978-3-540-31845-3\_4}, timestamp = {Fri, 26 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/moz/DonyC04.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/moz/DoomsDD04, author = {Gr{\'{e}}goire Dooms and Yves Deville and Pierre Dupont}, editor = {Peter Van Roy}, title = {A Mozart Implementation of CP(BioNet)}, booktitle = {Multiparadigm Programming in Mozart/Oz, Second International Conference, {MOZ} 2004, Charleroi, Belgium, October 7-8, 2004, Revised Selected and Invited Papers}, series = {Lecture Notes in Computer Science}, volume = {3389}, pages = {237--250}, publisher = {Springer}, year = {2004}, url = {https://doi.org/10.1007/978-3-540-31845-3\_20}, doi = {10.1007/978-3-540-31845-3\_20}, timestamp = {Sun, 02 Oct 2022 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/moz/DoomsDD04.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/moz/DuchierRP04, author = {Denys Duchier and Joseph Le Roux and Yannick Parmentier}, editor = {Peter Van Roy}, title = {The Metagrammar Compiler: An {NLP} Application with a Multi-paradigm Architecture}, booktitle = {Multiparadigm Programming in Mozart/Oz, Second International Conference, {MOZ} 2004, Charleroi, Belgium, October 7-8, 2004, Revised Selected and Invited Papers}, series = {Lecture Notes in Computer Science}, volume = {3389}, pages = {175--187}, publisher = {Springer}, year = {2004}, url = {https://doi.org/10.1007/978-3-540-31845-3\_15}, doi = {10.1007/978-3-540-31845-3\_15}, timestamp = {Fri, 26 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/moz/DuchierRP04.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/moz/El-AnsaryGRR04, author = {Sameh El{-}Ansary and Donatien Grolaux and Peter Van Roy and Mahmoud Rafea}, editor = {Peter Van Roy}, title = {Overcoming the Multiplicity of Languages and Technologies for Web-Based Development Using a Multi-paradigm Approach}, booktitle = {Multiparadigm Programming in Mozart/Oz, Second International Conference, {MOZ} 2004, Charleroi, Belgium, October 7-8, 2004, Revised Selected and Invited Papers}, series = {Lecture Notes in Computer Science}, volume = {3389}, pages = {113--124}, publisher = {Springer}, year = {2004}, url = {https://doi.org/10.1007/978-3-540-31845-3\_10}, doi = {10.1007/978-3-540-31845-3\_10}, timestamp = {Fri, 26 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/moz/El-AnsaryGRR04.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/moz/GrolauxGR04, author = {Donatien Grolaux and Kevin Glynn and Peter Van Roy}, editor = {Peter Van Roy}, title = {A Fault Tolerant Abstraction for Transparent Distributed Programming}, booktitle = {Multiparadigm Programming in Mozart/Oz, Second International Conference, {MOZ} 2004, Charleroi, Belgium, October 7-8, 2004, Revised Selected and Invited Papers}, series = {Lecture Notes in Computer Science}, volume = {3389}, pages = {149--160}, publisher = {Springer}, year = {2004}, url = {https://doi.org/10.1007/978-3-540-31845-3\_13}, doi = {10.1007/978-3-540-31845-3\_13}, timestamp = {Fri, 26 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/moz/GrolauxGR04.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/moz/HavelkaSBH04, author = {Dragan Havelka and Christian Schulte and Per Brand and Seif Haridi}, editor = {Peter Van Roy}, title = {Thread-Based Mobility in Oz}, booktitle = {Multiparadigm Programming in Mozart/Oz, Second International Conference, {MOZ} 2004, Charleroi, Belgium, October 7-8, 2004, Revised Selected and Invited Papers}, series = {Lecture Notes in Computer Science}, volume = {3389}, pages = {137--148}, publisher = {Springer}, year = {2004}, url = {https://doi.org/10.1007/978-3-540-31845-3\_12}, doi = {10.1007/978-3-540-31845-3\_12}, timestamp = {Tue, 26 Dec 2017 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/moz/HavelkaSBH04.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/moz/LagerK04, author = {Torbj{\"{o}}rn Lager and Fredrik Kronlid}, editor = {Peter Van Roy}, title = {The {CURRENT} Platform: Building Conversational Agents in Oz}, booktitle = {Multiparadigm Programming in Mozart/Oz, Second International Conference, {MOZ} 2004, Charleroi, Belgium, October 7-8, 2004, Revised Selected and Invited Papers}, series = {Lecture Notes in Computer Science}, volume = {3389}, pages = {161--174}, publisher = {Springer}, year = {2004}, url = {https://doi.org/10.1007/978-3-540-31845-3\_14}, doi = {10.1007/978-3-540-31845-3\_14}, timestamp = {Fri, 26 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/moz/LagerK04.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/moz/Landtsheer04, author = {Renaud De Landtsheer}, editor = {Peter Van Roy}, title = {Solving {CSP} Including a Universal Quantification}, booktitle = {Multiparadigm Programming in Mozart/Oz, Second International Conference, {MOZ} 2004, Charleroi, Belgium, October 7-8, 2004, Revised Selected and Invited Papers}, series = {Lecture Notes in Computer Science}, volume = {3389}, pages = {200--210}, publisher = {Springer}, year = {2004}, url = {https://doi.org/10.1007/978-3-540-31845-3\_17}, doi = {10.1007/978-3-540-31845-3\_17}, timestamp = {Fri, 26 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/moz/Landtsheer04.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/moz/MesarosCR04, author = {Valentin Mesaros and Bruno Carton and Peter Van Roy}, editor = {Peter Van Roy}, title = {{P2PS:} Peer-to-Peer Development Platform for Mozart}, booktitle = {Multiparadigm Programming in Mozart/Oz, Second International Conference, {MOZ} 2004, Charleroi, Belgium, October 7-8, 2004, Revised Selected and Invited Papers}, series = {Lecture Notes in Computer Science}, volume = {3389}, pages = {125--136}, publisher = {Springer}, year = {2004}, url = {https://doi.org/10.1007/978-3-540-31845-3\_11}, doi = {10.1007/978-3-540-31845-3\_11}, timestamp = {Fri, 26 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/moz/MesarosCR04.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/moz/MillerTS04, author = {Mark S. Miller and Bill Tulloh and Jonathan S. Shapiro}, editor = {Peter Van Roy}, title = {The Structure of Authority: Why Security Is Not a Separable Concern}, booktitle = {Multiparadigm Programming in Mozart/Oz, Second International Conference, {MOZ} 2004, Charleroi, Belgium, October 7-8, 2004, Revised Selected and Invited Papers}, series = {Lecture Notes in Computer Science}, volume = {3389}, pages = {2--20}, publisher = {Springer}, year = {2004}, url = {https://doi.org/10.1007/978-3-540-31845-3\_2}, doi = {10.1007/978-3-540-31845-3\_2}, timestamp = {Fri, 26 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/moz/MillerTS04.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/moz/MolderezP04, author = {Jean{-}Fran{\c{c}}ois Molderez and Christophe Ponsard}, editor = {Peter Van Roy}, title = {Deriving Acceptance Tests from Goal Requirements}, booktitle = {Multiparadigm Programming in Mozart/Oz, Second International Conference, {MOZ} 2004, Charleroi, Belgium, October 7-8, 2004, Revised Selected and Invited Papers}, series = {Lecture Notes in Computer Science}, volume = {3389}, pages = {78--88}, publisher = {Springer}, year = {2004}, url = {https://doi.org/10.1007/978-3-540-31845-3\_7}, doi = {10.1007/978-3-540-31845-3\_7}, timestamp = {Fri, 26 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/moz/MolderezP04.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/moz/MostafaB04, author = {Hala Mostafa and Reem Bahgat}, editor = {Peter Van Roy}, title = {Using Mozart for Visualizing Agent-Based Simulations}, booktitle = {Multiparadigm Programming in Mozart/Oz, Second International Conference, {MOZ} 2004, Charleroi, Belgium, October 7-8, 2004, Revised Selected and Invited Papers}, series = {Lecture Notes in Computer Science}, volume = {3389}, pages = {89--102}, publisher = {Springer}, year = {2004}, url = {https://doi.org/10.1007/978-3-540-31845-3\_8}, doi = {10.1007/978-3-540-31845-3\_8}, timestamp = {Fri, 26 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/moz/MostafaB04.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/moz/Rafea04, author = {Mahmoud Rafea}, editor = {Peter Van Roy}, title = {Web Technologies for Mozart Applications}, booktitle = {Multiparadigm Programming in Mozart/Oz, Second International Conference, {MOZ} 2004, Charleroi, Belgium, October 7-8, 2004, Revised Selected and Invited Papers}, series = {Lecture Notes in Computer Science}, volume = {3389}, pages = {103--112}, publisher = {Springer}, year = {2004}, url = {https://doi.org/10.1007/978-3-540-31845-3\_9}, doi = {10.1007/978-3-540-31845-3\_9}, timestamp = {Fri, 26 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/moz/Rafea04.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/moz/Reinfelds04, author = {Juris Reinfelds}, editor = {Peter Van Roy}, title = {Higher Order Programming for Unordered Minds}, booktitle = {Multiparadigm Programming in Mozart/Oz, Second International Conference, {MOZ} 2004, Charleroi, Belgium, October 7-8, 2004, Revised Selected and Invited Papers}, series = {Lecture Notes in Computer Science}, volume = {3389}, pages = {53--65}, publisher = {Springer}, year = {2004}, url = {https://doi.org/10.1007/978-3-540-31845-3\_5}, doi = {10.1007/978-3-540-31845-3\_5}, timestamp = {Fri, 26 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/moz/Reinfelds04.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/moz/Smolka04, author = {Gert Smolka}, editor = {Peter Van Roy}, title = {The Development of Oz and Mozart}, booktitle = {Multiparadigm Programming in Mozart/Oz, Second International Conference, {MOZ} 2004, Charleroi, Belgium, October 7-8, 2004, Revised Selected and Invited Papers}, series = {Lecture Notes in Computer Science}, volume = {3389}, pages = {1}, publisher = {Springer}, year = {2004}, url = {https://doi.org/10.1007/978-3-540-31845-3\_1}, doi = {10.1007/978-3-540-31845-3\_1}, timestamp = {Fri, 26 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/moz/Smolka04.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/moz/SpiessensR04, author = {Fred Spiessens and Peter Van Roy}, editor = {Peter Van Roy}, title = {The Oz-E Project: Design Guidelines for a Secure Multiparadigm Programming Language}, booktitle = {Multiparadigm Programming in Mozart/Oz, Second International Conference, {MOZ} 2004, Charleroi, Belgium, October 7-8, 2004, Revised Selected and Invited Papers}, series = {Lecture Notes in Computer Science}, volume = {3389}, pages = {21--40}, publisher = {Springer}, year = {2004}, url = {https://doi.org/10.1007/978-3-540-31845-3\_3}, doi = {10.1007/978-3-540-31845-3\_3}, timestamp = {Fri, 26 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/moz/SpiessensR04.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/moz/TackB04, author = {Guido Tack and Didier Le Botlan}, editor = {Peter Van Roy}, title = {Compositional Abstractions for Search Factories}, booktitle = {Multiparadigm Programming in Mozart/Oz, Second International Conference, {MOZ} 2004, Charleroi, Belgium, October 7-8, 2004, Revised Selected and Invited Papers}, series = {Lecture Notes in Computer Science}, volume = {3389}, pages = {211--223}, publisher = {Springer}, year = {2004}, url = {https://doi.org/10.1007/978-3-540-31845-3\_18}, doi = {10.1007/978-3-540-31845-3\_18}, timestamp = {Fri, 26 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/moz/TackB04.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/moz/Wahls04, author = {Tim Wahls}, editor = {Peter Van Roy}, title = {Compiling Formal Specifications to Oz Programs}, booktitle = {Multiparadigm Programming in Mozart/Oz, Second International Conference, {MOZ} 2004, Charleroi, Belgium, October 7-8, 2004, Revised Selected and Invited Papers}, series = {Lecture Notes in Computer Science}, volume = {3389}, pages = {66--77}, publisher = {Springer}, year = {2004}, url = {https://doi.org/10.1007/978-3-540-31845-3\_6}, doi = {10.1007/978-3-540-31845-3\_6}, timestamp = {Fri, 26 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/moz/Wahls04.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
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.