<?xml version="1.0" encoding="UTF-8"?><xmi:XMI xmlns:cas="http:///uima/cas.ecore" xmlns:type="http:///org/apache/uima/ruta/type.ecore" xmlns:xmi="http://www.omg.org/XMI" xmlns:example2="http:///uima/textmarker/example.ecore" xmlns:tcas="http:///uima/tcas.ecore" xmlns:example="http:///uima/ruta/example.ecore" xmi:version="2.0"><cas:NULL xmi:id="0"/><cas:Sofa xmi:id="1" sofaNum="1" sofaID="_InitialView" mimeType="text" sofaString="CORA:&#10; C. W. Tseng.   Compiler optimizations for eliminating barrier synchronization.   In Proceedings of the Fifth ACM/SiGPLAN Symposium on Principles Practice of Parallel Programming,   pages 144-155,   July 1995. &#10; J. Wiener, H. Gupta, W. Labio, Y. Zhuge, H. Garcia-Molina, and J. Widom.   A system prototype for warehouse view maintenance.   In The Workshop on Materialized Views,   pages 26-33,   June 1996. &#10; A. Gupta, I. Mumick, and V. Subrahmanian.   Maintaining views incrementally.   In Preceedings of the 1993 ACM SIGMOD International Conference on Management of Data,   pages 157-166,   Washington, D. C.,   May 1993. &#10; C. Thekkath, H. Levy, and E. Lazowska.   Efficient Support for Multicomputing on ATM Networks.   Technical Report TR93-04-03,   Department of Computer Science and Engineering, University of Washington,   April 1993. &#10; A. Belussi and C. Faloutsos.   Estimating the Selectivity of Spatial Queries Using the `Correlation' Fractal Dimension.   In Proceedings of the International Conference on Very Large Data Bases,   pages 299--310,   September 1995. &#10; C.P. Gomes, C. Fernández, B. Selman, and C. Bessiere.   Statistical regimes across constrainedness regions.   In Proceedings of CP’04,   pages 32–46,   2004. &#10; T. Saaao.   An application of multiple-valued logic to a design of programmable logic arrays.   In Proceedings of the 8th International Symposium on Multiple-Valued Logic,   1978. &#10; G. C. Necula.   Proof-carrying code.   In Proceedings of the 24th Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages,   Paris, France,   January 15-17 1997. &#10; J. Ousterhout, Da Costa, H. Harrison, J Kunze, M. Kupfer, and J. Thompson.   A Trace-Driven Analysis of the Unix 4.2 BSD File System.   In Proceedings of the 10th Symposium on Operating Systems Principles,   pages 15--24,   December 1985. &#10; A. P. Sistla and O. Wolfson.   Temporal Conditions and Integrity Constraints in Active Database Systems.   In Proceedings of the 1995 ACM SIGMOD Intl. Conference on Management of Data,   pages 269-280,   1995. &#10; J. Choi, R. Cytron, and J. Ferrante.   Automatic construction of sparse data flow evaluation graphs.   In Proceedings of the Eighteenth Annual ACM Symposium on the Principles of Programming Languages,   pages 55-66,   Orlando, FL,   January 1991. &#10; H. Raiffa.   The Art and Science of Negotiation.   Harvard Univ. Press,   Cambridge, Mass.,   1982. &#10; U. Vazirani.   Efficiency considerations in using semi-random sources.   In Proceedings of the 19 th Annual ACM Symposium on Theory of Computing,   New York City,   1987. &#10; U. Dayal, H. Garcia-Molina, M. Hsu, B. Kao, and M.- C. Shan.   Third generation TP monitors: A database challenge.   In ACM SIGMOD Conference on Management of Data,   pages 393-397,   Washington, D. C.,   May 1993. &#10; T. Joachims.   A probabilistic analysis of the rocchio algorithm with TFIDF for text categorization.   Technical Report Computer Science Technical Report CMU-CS-96-118,   Carnigie-Mellon University,   1996. &#10; K. Smith, W. Appelbe, and K. Stirewalt.   Incremental dependence analysis for interactive parallelization.   In Proceedings of the 1990 ACM International Conference on Supercomputing,   Amsterdam, The Netherlands,   June 1990. &#10; M.J. Cresswell.   Logics and Languages.   Methuen and Co.,   London,   1973. &#10; S. Hiranandani, K. Kennedy, C. Koelbel, U. Kremer, and C. Tseng.   An overview of the fortran d programming system.   Technical Report CRPC-TR91121,   Dept of computer Science, Rice University,   1991. &#10; M. Kamath and K. Ramamritham.   Modeling, Correctness &amp; Systems Issues in Supporting Advanced Database Applications using Workflow Management Systems.   Technical Report TR 95-50,   University of Massachusetts, Computer Science Dept.,   1995. &#10; H. Balakrishnan, H.S. Rahul, S. Seshan.   An Integrated Congestion Management Architecture for Internet Hosts.   ACM SIGCOMM’99,   1999. &#10;"/><tcas:DocumentAnnotation xmi:id="8" sofa="1" begin="0" end="3906" language="x-unspecified"/><example:Author xmi:id="14353" sofa="1" begin="7" end="19"/><example:Author xmi:id="14361" sofa="1" begin="218" end="290"/><example:Author xmi:id="14369" sofa="1" begin="415" end="456"/><example:Author xmi:id="14377" sofa="1" begin="632" end="670"/><example:Author xmi:id="14385" sofa="1" begin="850" end="878"/><example:Author xmi:id="14393" sofa="1" begin="1083" end="1136"/><example:Author xmi:id="14401" sofa="1" begin="1243" end="1252"/><example:Author xmi:id="14409" sofa="1" begin="1425" end="1438"/><example:Author xmi:id="14417" sofa="1" begin="1608" end="1682"/><example:Author xmi:id="14425" sofa="1" begin="1849" end="1877"/><example:Author xmi:id="14433" sofa="1" begin="2061" end="2097"/><example:Author xmi:id="14441" sofa="1" begin="2310" end="2320"/><example:Author xmi:id="14449" sofa="1" begin="2412" end="2424"/><example:Author xmi:id="14457" sofa="1" begin="2585" end="2645"/><example:Author xmi:id="14465" sofa="1" begin="2802" end="2814"/><example:Author xmi:id="14473" sofa="1" begin="3011" end="3050"/><example:Author xmi:id="14481" sofa="1" begin="3240" end="3255"/><example:Author xmi:id="14489" sofa="1" begin="3319" end="3383"/><example:Author xmi:id="14497" sofa="1" begin="3523" end="3552"/><example:Author xmi:id="14505" sofa="1" begin="3768" end="3807"/><example:Date xmi:id="14513" sofa="1" begin="205" end="215"/><example:Date xmi:id="14521" sofa="1" begin="402" end="412"/><example:Date xmi:id="14529" sofa="1" begin="620" end="629"/><example:Date xmi:id="14537" sofa="1" begin="836" end="847"/><example:Date xmi:id="14545" sofa="1" begin="1065" end="1080"/><example:Date xmi:id="14553" sofa="1" begin="1235" end="1240"/><example:Date xmi:id="14561" sofa="1" begin="1417" end="1422"/><example:Date xmi:id="14569" sofa="1" begin="1586" end="1605"/><example:Date xmi:id="14577" sofa="1" begin="1832" end="1846"/><example:Date xmi:id="14585" sofa="1" begin="2053" end="2058"/><example:Date xmi:id="14593" sofa="1" begin="2294" end="2307"/><example:Date xmi:id="14601" sofa="1" begin="2404" end="2409"/><example:Date xmi:id="14609" sofa="1" begin="2577" end="2582"/><example:Date xmi:id="14617" sofa="1" begin="2790" end="2799"/><example:Date xmi:id="14625" sofa="1" begin="3003" end="3008"/><example:Date xmi:id="14633" sofa="1" begin="3227" end="3237"/><example:Date xmi:id="14641" sofa="1" begin="3311" end="3316"/><example:Date xmi:id="14649" sofa="1" begin="3515" end="3520"/><example:Date xmi:id="14657" sofa="1" begin="3760" end="3765"/><example:Date xmi:id="14665" sofa="1" begin="3899" end="3904"/><example:Pages xmi:id="14673" sofa="1" begin="188" end="202"/><example:Pages xmi:id="14681" sofa="1" begin="387" end="399"/><example:Pages xmi:id="14689" sofa="1" begin="582" end="596"/><example:Pages xmi:id="14697" sofa="1" begin="1047" end="1062"/><example:Pages xmi:id="14705" sofa="1" begin="1220" end="1232"/><example:Pages xmi:id="14713" sofa="1" begin="1816" end="1829"/><example:Pages xmi:id="14721" sofa="1" begin="2036" end="2050"/><example:Pages xmi:id="14729" sofa="1" begin="2264" end="2276"/><example:Pages xmi:id="14737" sofa="1" begin="2752" end="2766"/><example:Publisher xmi:id="14745" sofa="1" begin="2361" end="2381"/><example:Publisher xmi:id="14753" sofa="1" begin="3282" end="3298"/><example:Institution xmi:id="14761" sofa="1" begin="760" end="833"/><example:Institution xmi:id="14769" sofa="1" begin="2973" end="3000"/><example:Institution xmi:id="14777" sofa="1" begin="3470" end="3512"/><example:Institution xmi:id="14785" sofa="1" begin="3705" end="3757"/><example:Title xmi:id="14793" sofa="1" begin="22" end="85"/><example:Title xmi:id="14801" sofa="1" begin="293" end="343"/><example:Title xmi:id="14809" sofa="1" begin="459" end="491"/><example:Title xmi:id="14817" sofa="1" begin="673" end="726"/><example:Title xmi:id="14825" sofa="1" begin="881" end="969"/><example:Title xmi:id="14833" sofa="1" begin="1139" end="1190"/><example:Title xmi:id="14841" sofa="1" begin="1255" end="1336"/><example:Title xmi:id="14849" sofa="1" begin="1441" end="1461"/><example:Title xmi:id="14857" sofa="1" begin="1685" end="1741"/><example:Title xmi:id="14865" sofa="1" begin="1880" end="1953"/><example:Title xmi:id="14873" sofa="1" begin="2100" end="2161"/><example:Title xmi:id="14881" sofa="1" begin="2323" end="2358"/><example:Title xmi:id="14889" sofa="1" begin="2427" end="2482"/><example:Title xmi:id="14897" sofa="1" begin="2648" end="2699"/><example:Title xmi:id="14905" sofa="1" begin="2817" end="2902"/><example:Title xmi:id="14913" sofa="1" begin="3053" end="3117"/><example:Title xmi:id="14921" sofa="1" begin="3258" end="3279"/><example:Title xmi:id="14929" sofa="1" begin="3386" end="3434"/><example:Title xmi:id="14937" sofa="1" begin="3555" end="3673"/><example:Title xmi:id="14945" sofa="1" begin="3810" end="3878"/><example:Booktitle xmi:id="14953" sofa="1" begin="88" end="185"/><example:Booktitle xmi:id="14961" sofa="1" begin="346" end="384"/><example:Booktitle xmi:id="14969" sofa="1" begin="494" end="579"/><example:Booktitle xmi:id="14977" sofa="1" begin="972" end="1044"/><example:Booktitle xmi:id="14985" sofa="1" begin="1193" end="1217"/><example:Booktitle xmi:id="14993" sofa="1" begin="1339" end="1414"/><example:Booktitle xmi:id="15001" sofa="1" begin="1464" end="1566"/><example:Booktitle xmi:id="15009" sofa="1" begin="1744" end="1813"/><example:Booktitle xmi:id="15017" sofa="1" begin="1956" end="2033"/><example:Booktitle xmi:id="15025" sofa="1" begin="2164" end="2261"/><example:Booktitle xmi:id="15033" sofa="1" begin="2485" end="2557"/><example:Booktitle xmi:id="15041" sofa="1" begin="2702" end="2749"/><example:Booktitle xmi:id="15049" sofa="1" begin="3120" end="3194"/><example:Booktitle xmi:id="15057" sofa="1" begin="3881" end="3896"/><example:Location xmi:id="15065" sofa="1" begin="599" end="617"/><example:Location xmi:id="15073" sofa="1" begin="1569" end="1583"/><example:Location xmi:id="15081" sofa="1" begin="2279" end="2291"/><example:Location xmi:id="15089" sofa="1" begin="2384" end="2401"/><example:Location xmi:id="15097" sofa="1" begin="2560" end="2574"/><example:Location xmi:id="15105" sofa="1" begin="2769" end="2787"/><example:Location xmi:id="15113" sofa="1" begin="3197" end="3224"/><example:Location xmi:id="15121" sofa="1" begin="3301" end="3308"/><example:Tech xmi:id="15129" sofa="1" begin="729" end="757"/><example:Tech xmi:id="15137" sofa="1" begin="2905" end="2970"/><example:Tech xmi:id="15145" sofa="1" begin="3437" end="3467"/><example:Tech xmi:id="15153" sofa="1" begin="3676" end="3702"/><cas:View sofa="1" members="8 14353 14361 14369 14377 14385 14393 14401 14409 14417 14425 14433 14441 14449 14457 14465 14473 14481 14489 14497 14505 14513 14521 14529 14537 14545 14553 14561 14569 14577 14585 14593 14601 14609 14617 14625 14633 14641 14649 14657 14665 14673 14681 14689 14697 14705 14713 14721 14729 14737 14745 14753 14761 14769 14777 14785 14793 14801 14809 14817 14825 14833 14841 14849 14857 14865 14873 14881 14889 14897 14905 14913 14921 14929 14937 14945 14953 14961 14969 14977 14985 14993 15001 15009 15017 15025 15033 15041 15049 15057 15065 15073 15081 15089 15097 15105 15113 15121 15129 15137 15145 15153"/></xmi:XMI>