Now showing items 23131-23150 of 35107

    • Language Data and Rights 

      Westbrooks, Elaine (2006-03-31)
    • Language Features for Process Interaction 

      Andrews, Gregory R.; McGraw, James R. (Cornell University, 1976-09)
      Language for parallel programming should meet four goals: expressiveness, reliability, security, and verifiability. This paper presents a set of language features for describing processes and process interaction, gives ...
    • Language Features for Process Interaction and Access Control 

      McGraw, James R. (Cornell University, 1977-07)
      NO ABSTRACT SUPPLIED
    • Language Features that Support Program Verification (illustrated in PL/C) 

      Constable, Robert L. (Cornell University, 1976-04)
      The author of a program can convince its readers (including himself) that it computes as he intended by writing into the program text a precise description of what it should do. This description can include a clear proof ...
    • A Language for Securely Referencing Persistent Information in a Federated System 

      Liu, Jed; Myers, Andrew C. (2014-01-17)
      Referential integrity, which guarantees that named resources can be accessed when referenced, is an important property for reliability and security. In distributed systems, however, the attempt to provide referential ...
    • Language Learning without Overgeneralization 

      Kapur, Shyam; Bilardi, Gianfranco (Cornell University, 1990-11)
      Language learnability is investigated in the Gold paradigm of inductive inference from positive data. Angluin gave a characterization of learnable families in this framework. Here, learnability of families of recursive ...
    • Language Mechanisms for Controlling and Mitigating Timing Channels 

      Zhang, Danfeng; Askarov, Aslan; Myers, Andrew (2012-03-22)
      We propose a new language-based approach to mitigating timing channels. In this language, well-typed programs provably leak only a bounded amount of information over time through external timing channels. By incorporating ...
    • A Language of Love: The effect of social primes on written narratives 

      Bowen, Jeffrey (2011-05)
      Considerable work has been done in the fields of social and developmental psychology addressing the role of close relationships in influencing behaviors, thoughts, and emotions. Additionally, there is a growing psychological ...
    • Language Support For Reliable, Extensible Large-Scale Software Systems 

      Qi, Xin (2010-04-09)
      Large software systems, which often consist of many interacting components, are hard to develop. For example, a compiler may contain tens of components modeling abstract syntax tree (AST) nodes, and various components for ...
    • Language Use Of Successful Liars 

      Berzack, Antony (2011-08-31)
      Little research has been done to determine whether the cues to deception researched by academia and delivered to law enforcement agencies are equally useful for detecting both skilled and unskilled liars. This study ...
    • A Language-Based Approach to Security 

      Schneider, Fred; Morrisett, Greg; Harper, Robert (Cornell University, 2000-11-20)
      Language-based security leverages program analysis and program rewriting to enforce security policies. The approach promises efficient enforcement of fine-grained access control policies and depends on a trusted computing ...
    • Language-Based Games 

      Bjorndahl, Adam (2014-08-18)
      We introduce language-based games, in which utility is defined over descriptions in a given language. By choosing the right language, we can capture psychological games [9] and reference-dependent preference [15]. Of special ...
    • Language-Based Security 

      Kozen, Dexter (Cornell University, 1999-06)
      Security of mobile code is a major issue in today's global computing environment. When you download a program from an untrusted source, how can you be sure it will not do something undesirable? In this paper I will discuss ...
    • Languages Of Culture In Peruvian Literature, 1941-1994 

      Oyata, Martin (2010-10-20)
      This dissertation seeks to explain, from the viewpoint of the Peruvian experience, how literature has served to both create and scrutinize the language of culture. I depart from the methodological assumption- extrapolated ...
    • Languages Simultaneously Complete for One-Way and Two-Way Log-Tape Automata 

      Hartmanis, Juris; Mahaney, Stephen R. (Cornell University, 1980-02)
      In this paper we study languages accepted by nondeterministic $\log n$-tape automata which scan their input only once and relate their computational power to two-way, $\log n$-tape automata. We show that for the one-way, ...
    • Laparoscopic ablation of the nephrosplenic space in a seven year old Quarter Horse gelding 

      Conant, Eva (2009-09-30)
      Dusty, a seven year old Quarter Horse gelding, presented to Cornell University’s Large Animal Emergency Service in June 2009 for evaluation of a colic that had not responded to treatment in the field. Physical examination ...
    • Laparoscopic embryo transfer in Arabian Sand Cats 

      Tejada, Marina (2010-02-17)
      Arabian Sand cats (Felis margarita) are currently listed as near-threatened on the IUCN (International Union for Conservation of Nature) Red List due to concerns regarding low population size and decline in the wild. Two ...
    • Larchant-RDOSS: a distributed shared persistent memory and its garbage collector 

      Shapiro, Marc; Ferreira, Paulo (Cornell University, 1994-12)
      Larchant-RDOSS is a distributed shared memory that persists on reliable storage across process lifetimes. Memory management is automatic: including consistent caching of data and of locks, collecting objects unreachable ...
    • Larder Beetle 

      Klass, Carolyn (Dept. of Entomology, Cornell University, 2009-12-10)
      A 2 page overview about the larder beetle and management information for New York State residents.