Sciweavers

Share
MOZ
2004
Springer
10 years 1 months ago
A Mozart Implementation of CP(BioNet)
The analysis of biochemical networks consists in studying the interactions between biological entities cooperating in complex cellular processes. To facilitate the expression of an...
Grégoire Dooms, Yves Deville, Pierre Dupont
MOZ
2004
Springer
10 years 1 months ago
Compositional Abstractions for Search Factories
ional Abstractions for Search Factories Guido Tack, Didier Le Botlan MOZ 2004 Presented at International Mozart/Oz Conference (MOZ 2004) Charleroi, Belgium October 2004 Published i...
Guido Tack, Didier Le Botlan
MOZ
2004
Springer
10 years 1 months ago
The Oz-E Project: Design Guidelines for a Secure Multiparadigm Programming Language
Abstract. The design and implementation of a capability secure multiparadigm language should be guided from its conception by proven principles of secure language design. In this p...
Fred Spiessens, Peter Van Roy
MOZ
2004
Springer
10 years 1 months ago
The Structure of Authority: Why Security Is Not a Separable Concern
Common programming practice grants excess authority for the sake of functionality; programming principles require least authority for the sake of security. If we practice our princ...
Mark S. Miller, Bill Tulloh, Jonathan S. Shapiro
MOZ
2004
Springer
10 years 1 months ago
P2PS: Peer-to-Peer Development Platform for Mozart
Abstract. Recently, development of peer-to-peer (P2P) applications has been giving a paramount attention mostly due to their attractive features such as decentralization and self-o...
Valentin Mesaros, Bruno Carton, Peter Van Roy
MOZ
2004
Springer
10 years 1 months ago
A Fault Tolerant Abstraction for Transparent Distributed Programming
Donatien Grolaux, Kevin Glynn, Peter Van Roy
MOZ
2004
Springer
10 years 1 months ago
The Metagrammar Compiler: An NLP Application with a Multi-paradigm Architecture
1) the Warren’s Abstract Machine and (2) constraints on finite set.
Denys Duchier, Joseph Le Roux, Yannick Parmentier
MOZ
2004
Springer
10 years 1 months ago
An Interactive Tool for the Controlled Execution of an Automated Timetabling Constraint Engine
Abstract. Here we introduce DePathos, a graphical tool for a timetabling constraint engine (Pathos). Since the core of Pathos is textbased and provides little user-interaction, fi...
Alberto Delgado, Jorge Andrés Pérez,...
MOZ
2004
Springer
10 years 1 months ago
Implementing Semiring-Based Constraints Using Mozart
Abstract. Although Constraint Programming (CP) is considered a useful tool for tackling combinatorial problems, its lack of flexibility when dealing with uncertainties and prefere...
Alberto Delgado, Carlos Alberto Olarte, Jorge Andr...
MOZ
2004
Springer
10 years 1 months ago
The XDG Grammar Development Kit
Abstract. Extensible Dependency Grammar (XDG) is a graph description language whose formulas can be solved by constraint programming. XDG is designed so as to yield a declarative a...
Ralph Debusmann, Denys Duchier, Joachim Niehren
books