blob: 4e0e7a973017439d578f4443557863e34b6e84a9 [file] [log] [blame]
<?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; Gene T. J. Wuu and Arthur J. Bernstein. Efficient solutions to the replicated log and dictionary problems. In Proceedings of the 3rd Symposium on Principles of Distributed Computing, pages 233-242, Vancouver, Canada, August 1984. &#10; Dorai Sitaram and Matthias Felleisen. Reasoning with continuations II: Full abstraction for models of control. In Proceedings 1990 Conference on LISP Functional Programming, pages 161-175, June 1990. &#10; Surajit Chaudhuri and Moshe Vardi. On the equivalence of recursive and nonrecursive data-log programs. In The Proceedings of the PODS-92, pages 55-66, 1992. &#10; Joon S. Park and Ravi Sandhu. RBAC on the web by smart certificates. In Proceedings of 4th ACM Workshop on Role-Based Access Control, pages 1-9, Fairfax, VA, October 1999. ACM. &#10; Mihai Barbuceanu, Tom Gray, and Serge Mankovski. Coordinating with obligations. In Proceedings of the Second International Conference on Autonmruus Agents Agents98, pages 62-69, 1998. &#10; David R. Cheriton, Hendrik A. Goosen, and Philip Machanick. Restructuring a Parallel Simulation to Improve Cache Behavior in a Shared-Memory Multiprocessor: A First Experience. In International Symposium on Shared Memory Multiprocessing, pages 109-118, April 1991. &#10; Robert A. Ballance, Arthur B. Maccabe, and Karl J. Ottenstein. The program dependence web: A representation supporting control-, data-, and demand-driven interpretation of imperative languages. In Proc. of Sigplan '90 Conf. on Programming Language Design and Implementation, pages 257-271, 1990. &#10; Claus-Werner Lermen and Dieter Maurer. A protocol for distributed reference counting. In Proceedings 1986 ACM Conference on Lisp Functional Programming, pages 343-350, ACM SIGPLAN/SIGACT/SIGART, Cambridge, Massachusetts, August 1986. &#10; Atsushi Ohori and Peter Buneman. Type inference in a database langage. In ACM Conference on LISP Functional Programming, pages 174-183, 1988. &#10; Rajagopalan Desikan, Doug Burger, and Stephen W. Keckler. Measuring experimental error in microprocessor simulation. In Proceedings of the 28th Annual International Symposium on Computer Architecture, pages 266-277, July 2001. &#10; Zarka Cvetanovic and Dileep Bhandarkar. Characterization of the Alpha AXP Performance Using TP and SPEC Workloads. In Proceedings of the 21st Annual International Symposium on Computer Architecture, pages 60-70, April 1994. &#10; David R. Cheriton and Willy Zwaenepoel. The distributed V kernel and its performance for diskless workstations. In Proceedings of the Ninth ACM Symposium on Operating Systems Principles, pages 129-140, October 1983. &#10; Steve Pieper, Joseph Rosen, and David Zeltzer. Interactive computer graphics for plastic surgery: A task-level analysis and implementation. Proceedings of the ACM 199 Symposium on Interactive SD Graphics, pages 127-134, 1992. &#10; D Lehmann. Belief revision, revised. In Proceedings IJCAI-95, pages 1534--1540, 1995. &#10; Loic Prylli, Bernard Tourancheau, and Roland Westrelin. The design for a high performance MPI implementation on the Myrinet network. In EuroPVM/MPI, pages 223–230, 1999. &#10; Michael Luby and Erie Vigoda. Approximately counting up to four. In Proceedings of the Twenty-Ninth Annual ACM Symposium on Theot3 of Computing, pages 682-687, 1997. &#10; Dimitrios Georgakopoulos, Marek Rusinkiewicz, and Amit Sheth. On Serializability of Multidatabase Transactions Through Forced Local Conflicts. In Proceedings of the Seventh International Conference on Data Engineering, pages 314--323, Kobe, Japan, April 1991. &#10; Dario Giarrizzo, Matthias Kaiserswerth, Thomas Wicki, and Robin C. Williamson. High-speed parallel protocol implementation. First IFIP WG6.1/WG6.4 International Workshop on Protocols for High-Speed Networks, pages 165-180, May 1989. &#10;"/><tcas:DocumentAnnotation xmi:id="8" sofa="1" begin="0" end="3891" language="x-unspecified"/><example:Author xmi:id="13226" sofa="1" begin="7" end="46"/><example:Author xmi:id="13234" sofa="1" begin="249" end="286"/><example:Author xmi:id="13242" sofa="1" begin="459" end="493"/><example:Author xmi:id="13250" sofa="1" begin="626" end="655"/><example:Author xmi:id="13258" sofa="1" begin="817" end="865"/><example:Author xmi:id="13266" sofa="1" begin="1011" end="1070"/><example:Author xmi:id="13274" sofa="1" begin="1286" end="1348"/><example:Author xmi:id="13282" sofa="1" begin="1592" end="1630"/><example:Author xmi:id="13290" sofa="1" begin="1840" end="1872"/><example:Author xmi:id="13298" sofa="1" begin="1992" end="2049"/><example:Author xmi:id="13306" sofa="1" begin="2229" end="2268"/><example:Author xmi:id="13314" sofa="1" begin="2463" end="2502"/><example:Author xmi:id="13322" sofa="1" begin="2689" end="2735"/><example:Author xmi:id="13330" sofa="1" begin="2925" end="2935"/><example:Author xmi:id="13338" sofa="1" begin="3021" end="3076"/><example:Author xmi:id="13346" sofa="1" begin="3201" end="3230"/><example:Author xmi:id="13354" sofa="1" begin="3377" end="3438"/><example:Author xmi:id="13362" sofa="1" begin="3649" end="3727"/><example:Date xmi:id="13370" sofa="1" begin="234" end="246"/><example:Date xmi:id="13378" sofa="1" begin="446" end="456"/><example:Date xmi:id="13386" sofa="1" begin="618" end="623"/><example:Date xmi:id="13394" sofa="1" begin="794" end="807"/><example:Date xmi:id="13402" sofa="1" begin="1003" end="1008"/><example:Date xmi:id="13410" sofa="1" begin="1272" end="1283"/><example:Date xmi:id="13418" sofa="1" begin="1584" end="1589"/><example:Date xmi:id="13426" sofa="1" begin="1825" end="1837"/><example:Date xmi:id="13434" sofa="1" begin="1984" end="1989"/><example:Date xmi:id="13442" sofa="1" begin="2216" end="2226"/><example:Date xmi:id="13450" sofa="1" begin="2449" end="2460"/><example:Date xmi:id="13458" sofa="1" begin="2673" end="2686"/><example:Date xmi:id="13466" sofa="1" begin="2917" end="2922"/><example:Date xmi:id="13474" sofa="1" begin="3013" end="3018"/><example:Date xmi:id="13482" sofa="1" begin="3193" end="3198"/><example:Date xmi:id="13490" sofa="1" begin="3369" end="3374"/><example:Date xmi:id="13498" sofa="1" begin="3635" end="3646"/><example:Date xmi:id="13506" sofa="1" begin="3880" end="3889"/><example:Pages xmi:id="13514" sofa="1" begin="196" end="210"/><example:Pages xmi:id="13522" sofa="1" begin="429" end="443"/><example:Pages xmi:id="13530" sofa="1" begin="603" end="615"/><example:Pages xmi:id="13538" sofa="1" begin="766" end="776"/><example:Pages xmi:id="13546" sofa="1" begin="988" end="1000"/><example:Pages xmi:id="13554" sofa="1" begin="1255" end="1269"/><example:Pages xmi:id="13562" sofa="1" begin="1567" end="1581"/><example:Pages xmi:id="13570" sofa="1" begin="1751" end="1765"/><example:Pages xmi:id="13578" sofa="1" begin="1967" end="1981"/><example:Pages xmi:id="13586" sofa="1" begin="2199" end="2213"/><example:Pages xmi:id="13594" sofa="1" begin="2434" end="2446"/><example:Pages xmi:id="13602" sofa="1" begin="2656" end="2670"/><example:Pages xmi:id="13610" sofa="1" begin="2900" end="2914"/><example:Pages xmi:id="13618" sofa="1" begin="2993" end="3010"/><example:Pages xmi:id="13626" sofa="1" begin="3176" end="3190"/><example:Pages xmi:id="13634" sofa="1" begin="3352" end="3366"/><example:Pages xmi:id="13642" sofa="1" begin="3602" end="3617"/><example:Pages xmi:id="13650" sofa="1" begin="3863" end="3877"/><example:Publisher xmi:id="13658" sofa="1" begin="810" end="814"/><example:Title xmi:id="13666" sofa="1" begin="49" end="115"/><example:Title xmi:id="13674" sofa="1" begin="289" end="361"/><example:Title xmi:id="13682" sofa="1" begin="496" end="563"/><example:Title xmi:id="13690" sofa="1" begin="658" end="696"/><example:Title xmi:id="13698" sofa="1" begin="868" end="898"/><example:Title xmi:id="13706" sofa="1" begin="1073" end="1189"/><example:Title xmi:id="13714" sofa="1" begin="1351" end="1481"/><example:Title xmi:id="13722" sofa="1" begin="1633" end="1679"/><example:Title xmi:id="13730" sofa="1" begin="1875" end="1912"/><example:Title xmi:id="13738" sofa="1" begin="2052" end="2110"/><example:Title xmi:id="13746" sofa="1" begin="2271" end="2345"/><example:Title xmi:id="13754" sofa="1" begin="2505" end="2576"/><example:Title xmi:id="13762" sofa="1" begin="2738" end="2830"/><example:Title xmi:id="13770" sofa="1" begin="2938" end="2963"/><example:Title xmi:id="13778" sofa="1" begin="3079" end="3155"/><example:Title xmi:id="13786" sofa="1" begin="3233" end="3267"/><example:Title xmi:id="13794" sofa="1" begin="3441" end="3521"/><example:Title xmi:id="13802" sofa="1" begin="3730" end="3774"/><example:Booktitle xmi:id="13810" sofa="1" begin="118" end="193"/><example:Booktitle xmi:id="13818" sofa="1" begin="364" end="426"/><example:Booktitle xmi:id="13826" sofa="1" begin="566" end="600"/><example:Booktitle xmi:id="13834" sofa="1" begin="699" end="763"/><example:Booktitle xmi:id="13842" sofa="1" begin="901" end="985"/><example:Booktitle xmi:id="13850" sofa="1" begin="1192" end="1252"/><example:Booktitle xmi:id="13858" sofa="1" begin="1484" end="1564"/><example:Booktitle xmi:id="13866" sofa="1" begin="1682" end="1748"/><example:Booktitle xmi:id="13874" sofa="1" begin="1915" end="1964"/><example:Booktitle xmi:id="13882" sofa="1" begin="2113" end="2196"/><example:Booktitle xmi:id="13890" sofa="1" begin="2348" end="2431"/><example:Booktitle xmi:id="13898" sofa="1" begin="2579" end="2653"/><example:Booktitle xmi:id="13906" sofa="1" begin="2833" end="2897"/><example:Booktitle xmi:id="13914" sofa="1" begin="2966" end="2990"/><example:Booktitle xmi:id="13922" sofa="1" begin="3158" end="3173"/><example:Booktitle xmi:id="13930" sofa="1" begin="3270" end="3349"/><example:Booktitle xmi:id="13938" sofa="1" begin="3524" end="3599"/><example:Booktitle xmi:id="13946" sofa="1" begin="3777" end="3860"/><example:Journal xmi:id="13954" sofa="1" begin="1768" end="1794"/><example:Location xmi:id="13962" sofa="1" begin="213" end="231"/><example:Location xmi:id="13970" sofa="1" begin="779" end="791"/><example:Location xmi:id="13978" sofa="1" begin="1797" end="1822"/><example:Location xmi:id="13986" sofa="1" begin="3620" end="3632"/><cas:View sofa="1" members="8 13226 13234 13242 13250 13258 13266 13274 13282 13290 13298 13306 13314 13322 13330 13338 13346 13354 13362 13370 13378 13386 13394 13402 13410 13418 13426 13434 13442 13450 13458 13466 13474 13482 13490 13498 13506 13514 13522 13530 13538 13546 13554 13562 13570 13578 13586 13594 13602 13610 13618 13626 13634 13642 13650 13658 13666 13674 13682 13690 13698 13706 13714 13722 13730 13738 13746 13754 13762 13770 13778 13786 13794 13802 13810 13818 13826 13834 13842 13850 13858 13866 13874 13882 13890 13898 13906 13914 13922 13930 13938 13946 13954 13962 13970 13978 13986"/></xmi:XMI>