]> matita.cs.unibo.it Git - helm.git/blobdiff - helm/mowgli/home/xml/work-packages/distribution.xml
ocaml 3.09 transition
[helm.git] / helm / mowgli / home / xml / work-packages / distribution.xml
index 184856c3fb3030d6fc00e156ad489f1b48bc6f0a..2f81e8db63bb260f6c90be74404784ee66cfd418 100644 (file)
@@ -6,6 +6,7 @@
  <name>Distribution</name>
  <begin>Month 18</begin>
  <end>Month 30</end>
+ <leader file="dfki/kohlhase"/>
  <person-month participant="bologna" number="6"/>
  <person-month participant="inria" number="5"/>
  <person-month participant="dfki" number="8"/>
     <name>Architectural Design of the Distribution Model.</name>
     <p>The big
        issue it to find the right compromise between two opposite
-       requirements: <I>distribution</I> (in the sense of the
-       Web: few rules, no central authority) and <I>coherence</I>
+       requirements: <em>distribution</em> (in the sense of the
+       Web: few rules, no central authority) and <em>coherence</em>
        (coherence between different copies of a same document
        and global management of the library as a single rational
        development). Other architectural problems to be solved
        are the management of Uniform Resource Identifiers, their
        mapping to Uniform Resource Locators, and the integration
        of databases in the distribution model. The final aim is
-       to have a <I>phisically</I> distributed library with a
-       single <I>logical</I> view.</p>
+       to have a <em>phisically</em> distributed library with a
+       single <em>logical</em> view.</p>
    </task>
    <task id="T5.2">
     <name>Prototype implementation.</name>