<?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; M. J. Wolfe and U. Banerjee.   Data dependence and its application to parallel processing.   International Journal of Parallel Programming,   16(2),   137-178,   April 1987. &#10; R. Fagin, J. Halpern, and M. Vardi.   A model-theoretic analysis of knowledge.   Journal of the ACM,   38(2),   382-428,   1991. &#10; D. Waltz.   Understanding line-drawings of scenes with shadows.   Artificial Intelligence,   2,   79-116,   1971. &#10; P. T. Harker and J.-S. Pang.   Finite-dimensional variational inequality and nonlinear complementarity problems: A survey of theory, algorithms, and applications.   Mathematical Programming,   48(2),   161-220,   September 1990. &#10; S. Abiteboul and V. Vianu.   Datalog extensions for database queries and updates.   Journal of Computer and System Sciences,   43,   62-124,   1991. &#10; L. G. Valiant.   A Bridging Model for Parallel Computation.   Communications of the ACM,   33(8),   103-111,   1990. &#10; F. Jahanian and Al Mok.   Safety analysis of timing properties in real-time systems.   IEEE Transactions on Software Engineering,   12(9),   890-904,   September 1986. &#10; R. T. Snodgrass.   The Temporal Query Language TQuel.   ACM TODS,   12(2),   247-298,   June 1987. &#10; C. Ghezzi, D. Mandriolli, and A. Morzenti.   Trio: A logic language for executable specifications of real-time systems.   Journal of Systems and Software,   12(2),   107-123,   May 1990. &#10; W. H. Enright.   Improving the efficiency of matrix operations in the numerical solution of stiff ordinary differential equations.   ACM Trans. Math. Softw.,   4(2),   127-136,   June 1978. &#10; D. J. Burr.   Elastic matching of line drawings.   IEEE Trans. Pattern Analysis and Machine Intelligence,   3(6),   708-713,   1981. &#10; C. Amza, A. L. Cox, S. Dwarkadas, P. Keleher, H. Lu, R. Rajamony, W. Yu, and W. Zwaenepoel.   Tread-Marks: Shared memory computing on networks of workstations.   IEEE Computer,   29(2),   18-28,   February 1996. &#10;"/><tcas:DocumentAnnotation xmi:id="8" sofa="1" begin="0" end="1931" language="x-unspecified"/><example:Author xmi:id="7991" sofa="1" begin="7" end="35"/><example:Author xmi:id="7999" sofa="1" begin="183" end="218"/><example:Author xmi:id="8007" sofa="1" begin="314" end="323"/><example:Author xmi:id="8015" sofa="1" begin="430" end="458"/><example:Author xmi:id="8023" sofa="1" begin="661" end="687"/><example:Author xmi:id="8031" sofa="1" begin="812" end="826"/><example:Author xmi:id="8039" sofa="1" begin="931" end="954"/><example:Author xmi:id="8047" sofa="1" begin="1101" end="1117"/><example:Author xmi:id="8055" sofa="1" begin="1202" end="1244"/><example:Author xmi:id="8063" sofa="1" begin="1391" end="1405"/><example:Author xmi:id="8071" sofa="1" begin="1583" end="1594"/><example:Author xmi:id="8079" sofa="1" begin="1718" end="1809"/><example:Date xmi:id="8087" sofa="1" begin="169" end="180"/><example:Date xmi:id="8095" sofa="1" begin="306" end="311"/><example:Date xmi:id="8103" sofa="1" begin="422" end="427"/><example:Date xmi:id="8111" sofa="1" begin="643" end="658"/><example:Date xmi:id="8119" sofa="1" begin="804" end="809"/><example:Date xmi:id="8127" sofa="1" begin="923" end="928"/><example:Date xmi:id="8135" sofa="1" begin="1083" end="1098"/><example:Date xmi:id="8143" sofa="1" begin="1189" end="1199"/><example:Date xmi:id="8151" sofa="1" begin="1379" end="1388"/><example:Date xmi:id="8159" sofa="1" begin="1570" end="1580"/><example:Date xmi:id="8167" sofa="1" begin="1710" end="1715"/><example:Date xmi:id="8175" sofa="1" begin="1915" end="1929"/><example:Pages xmi:id="8183" sofa="1" begin="158" end="166"/><example:Pages xmi:id="8191" sofa="1" begin="295" end="303"/><example:Pages xmi:id="8199" sofa="1" begin="412" end="419"/><example:Pages xmi:id="8207" sofa="1" begin="632" end="640"/><example:Pages xmi:id="8215" sofa="1" begin="794" end="801"/><example:Pages xmi:id="8223" sofa="1" begin="912" end="920"/><example:Pages xmi:id="8231" sofa="1" begin="1072" end="1080"/><example:Pages xmi:id="8239" sofa="1" begin="1178" end="1186"/><example:Pages xmi:id="8247" sofa="1" begin="1368" end="1376"/><example:Pages xmi:id="8255" sofa="1" begin="1559" end="1567"/><example:Pages xmi:id="8263" sofa="1" begin="1699" end="1707"/><example:Pages xmi:id="8271" sofa="1" begin="1906" end="1912"/><example:Volume xmi:id="8279" sofa="1" begin="149" end="155"/><example:Volume xmi:id="8287" sofa="1" begin="286" end="292"/><example:Volume xmi:id="8295" sofa="1" begin="407" end="409"/><example:Volume xmi:id="8303" sofa="1" begin="623" end="629"/><example:Volume xmi:id="8311" sofa="1" begin="788" end="791"/><example:Volume xmi:id="8319" sofa="1" begin="903" end="909"/><example:Volume xmi:id="8327" sofa="1" begin="1063" end="1069"/><example:Volume xmi:id="8335" sofa="1" begin="1169" end="1175"/><example:Volume xmi:id="8343" sofa="1" begin="1359" end="1365"/><example:Volume xmi:id="8351" sofa="1" begin="1551" end="1556"/><example:Volume xmi:id="8359" sofa="1" begin="1691" end="1696"/><example:Volume xmi:id="8367" sofa="1" begin="1897" end="1903"/><example:Title xmi:id="8375" sofa="1" begin="38" end="97"/><example:Title xmi:id="8383" sofa="1" begin="221" end="261"/><example:Title xmi:id="8391" sofa="1" begin="326" end="377"/><example:Title xmi:id="8399" sofa="1" begin="461" end="592"/><example:Title xmi:id="8407" sofa="1" begin="690" end="742"/><example:Title xmi:id="8415" sofa="1" begin="829" end="871"/><example:Title xmi:id="8423" sofa="1" begin="957" end="1015"/><example:Title xmi:id="8431" sofa="1" begin="1120" end="1154"/><example:Title xmi:id="8439" sofa="1" begin="1247" end="1321"/><example:Title xmi:id="8447" sofa="1" begin="1408" end="1521"/><example:Title xmi:id="8455" sofa="1" begin="1597" end="1631"/><example:Title xmi:id="8463" sofa="1" begin="1812" end="1877"/><example:Journal xmi:id="8471" sofa="1" begin="100" end="146"/><example:Journal xmi:id="8479" sofa="1" begin="264" end="283"/><example:Journal xmi:id="8487" sofa="1" begin="380" end="404"/><example:Journal xmi:id="8495" sofa="1" begin="595" end="620"/><example:Journal xmi:id="8503" sofa="1" begin="745" end="785"/><example:Journal xmi:id="8511" sofa="1" begin="874" end="900"/><example:Journal xmi:id="8519" sofa="1" begin="1018" end="1060"/><example:Journal xmi:id="8527" sofa="1" begin="1157" end="1166"/><example:Journal xmi:id="8535" sofa="1" begin="1324" end="1356"/><example:Journal xmi:id="8543" sofa="1" begin="1524" end="1548"/><example:Journal xmi:id="8551" sofa="1" begin="1634" end="1688"/><example:Journal xmi:id="8559" sofa="1" begin="1880" end="1894"/><cas:View sofa="1" members="8 7991 7999 8007 8015 8023 8031 8039 8047 8055 8063 8071 8079 8087 8095 8103 8111 8119 8127 8135 8143 8151 8159 8167 8175 8183 8191 8199 8207 8215 8223 8231 8239 8247 8255 8263 8271 8279 8287 8295 8303 8311 8319 8327 8335 8343 8351 8359 8367 8375 8383 8391 8399 8407 8415 8423 8431 8439 8447 8455 8463 8471 8479 8487 8495 8503 8511 8519 8527 8535 8543 8551 8559"/></xmi:XMI>