Browse by Subject "computer science"

  • Jin, Jingwen (2005-12)
    Component-based software development has evolved from tightly coupled object-oriented style to loosely coupled service-oriented style in the past few years. The new service-oriented paradigm will eventually allow heterogeneous ...

    application/pdf

    application/pdfPDF (1Mb)
  • Clark, Robert (2008-10)
    We present a novel solution to streaming XPath query evaluation, capable of supporting forward and reverse axes queries. We show a conversion of an XPath query to a Visibly Pushdown Automaton that preserves the semantics ...

    application/pdf

    application/pdfPDF (129Kb)
  • Colombi, Andrew C. (2008-08)
    Numerical integration of ordinary differential equations resulting from the gravitation of nearby celestial small bodies is the subject of this thesis. We present three methods that alleviate the computational burden of ...

    application/pdf

    application/pdfPDF (4Mb)
  • Yang, Zhenyu; Cui, Yi; Anwar, Zahid; Bocchino, Robert L., Jr.; Kiyanclar, Nadir; Nahrstedt, Klara; Campbell, Roy H.; Yurcik, William (2005-08)
    Tele-immersive system can improve the productivity and aid communication by allowing distributed parties to exchange information via a shared immersive experience. The TEEVE research project at the University of Illinois ...

    application/pdf

    application/pdfPDF (568Kb)
  • Dig, Danny; Negara, Stas; Johnson, Ralph; Mohindra, Vibhu (2007-09)
    Although in theory the APIs of software libraries and frameworks should be stable, they change in practice. This forces clients of the library API to change as well, making software maintenance expensive. Changing a client ...

    application/pdf

    application/pdfPDF (377Kb)
  • Crenshaw, Tanya L.; Chambers, Erin Wolf; Metcalf, Heather E.; Thakkar, Umesh (2007-01)
    Computer science is seeing a decline in enrollment at all levels of education, including undergraduate and graduate study. This paper reports on the results of a study conducted at the University of Illinois at Urbana-Champaign ...

    application/pdf

    application/pdfPDF (428Kb)
  • Dig, Danny; Manzoor, Kashif; Johnson, Ralph; Nguyen, Tien N. (2006-09)
    Current text based Software Configuration Management (SCM) systems have trouble with refactorings. Refactorings result in global changes and lead to merge conflicts. A refactoring-aware SCM system reduces merge conflicts, ...

    application/pdf

    application/pdfPDF (215Kb)
  • Dig, Danny; Nguyen, Tien N.; Johnson, Ralph (2006-04)
    Refactoring tools allow programmers to change source code much quicker than before. However, the complexity of these changes cause versioning tools that operate at a file level to lose the history of components. This problem ...

    application/pdf

    application/pdfPDF (247Kb)
  • Cai, Deng; He, Xiaofei; Han, Jiawei (2006-07)
    A novel approach to linear dimensionality reduction is introduced that is based on Locality Preserving Projections (LPP) with a discretized Laplacian smoothing term. The choice of penalty allows us to incorporate prior ...

    application/pdf

    application/pdfPDF (360Kb)
  • Amir, Eyal; Anderson, Michael L.; Chaudhi, Vinay K. (2007-01)
    Self Aware Computer Systems in an area of basic research, and we are only in the initial stages of our understanding of what it means: What it means to be self aware; what a self aware system can do that a system without ...

    application/pdf

    application/pdfPDF (74Kb)
  • Rocha, Camilo; Meseguer, Jose (2007-12)
    We present an equational decision procedure a la Dijkstra & Scholten for the `Syllogistic Logic with Complements'. First, we give an equational axiomatization of Dijkstra & Scholten's propositional logic and show how it ...

    application/pdf

    application/pdfPDF (333Kb)
  • Serbanuta, Traian Florin; Rosu, Grigore (2006-10)
    We show how one can use rewriting logic to faithfully capture (not implement) various operational semantic frameworks as rewrite logic theories, namely big-step and small-step semantics, reduction semantics using evaluation ...

    application/pdf

    application/pdfPDF (374Kb)
  • Serbanuta, Traian Florin; Rosu, Grigore; Meseguer, Jose (2007-02)
    This paper shows how rewriting logic semantics (RLS) can be used as a computational logic framework for operational semantic definitions of programming languages. Several operational semantics styles are addressed: big-step ...

    application/pdf

    application/pdfPDF (430Kb)
  • AlTurki, Musab; Meseguer, Jose (2007-11)
    Orc is a language for \emph{orchestration} of web services developed by J. Misra that offers simple, yet powerful and elegant, constructs to succinctly program sophisticated web orchestration applications. However, because ...

    application/pdf

    application/pdfPDF (757Kb)
  • Meseguer, Jose; Rosu, Grigore (2005-09)
    Rewriting logic is a flexible and expressive logical framework that unifies denotational semantics and SOS in a novel way, avoiding their respective limitations and allowing very succinct semantic definitions. The fact ...

    application/pdf

    application/pdfPDF (807Kb)
  • Compagnoni, Adriana; Gunter, Elsa L.; Bidinger, Philippe (2006-07)
    Our society is increasingly moving towards richer forms of information exchange where mobility of processes and devices plays a prominent role. This tendency has prompted the academic community to study the security problems ...

    application/pdf

    application/pdfPDF (331Kb)
  • Ozdal, Muhammet Mustafa (2005-06)
    We have seen dramatic advances in the IC technology in the past several years. The shrinkage of die sizes and the increase in functional complexities made the circuits more and more dense. Furthermore, the number of timing ...

    application/pdf

    application/pdfPDF (2Mb)
  • Lee, Adam J.; Winslett, Marianne (2006-08)
    In trust negotiation and other distributed proving systems, networked entities cooperate to form proofs that are justified by collections of certified attributes. These attributes may be obtained through interactions with ...

    application/pdf

    application/pdfPDF (306Kb)
  • Sen, Koushik (2006-06)
    Testing using manually generated test cases is the primary technique used in industry to improve reliability of software---in fact, such ad hoc testing accounts for over half of the typical cost of software development. ...

    application/pdf

    application/pdfPDF (995Kb)
  • Wang, Xuanhui; Tan, Bin; Shakery, Azadeh; Zhai, ChengXiang (2008-09)
    While current search engines serve known-item search such as homepage finding very well, they generally cannot support exploratory search effectively. In exploratory search, users do not know their information needs precisely ...

    application/pdf

    application/pdfPDF (242Kb)