Works of Nancy Lynch: Recent submissions

Now showing items 46-48 of 99

    • Perspectives on the CAP Theorem 

      Gilbert, Seth; Lynch, Nancy Ann (Institute of Electrical and Electronics Engineers, 2012-02)
      Almost twelve years ago, in 2000, Eric Brewer introduced the idea that there is a fundamental trade-off between consistency, availability, and partition tolerance. This trade-off, which has become known as the CAP Theorem, ...

    • Engineering the Virtual Node Layer for Reactive MANET Routing 

      Wu, Jiang; Griffeth, Nancy; Newport, Calvin Charles; Lynch, Nancy Ann (2011-08)
      The VNLayer approach simplifies software development for MANET by providing the developers an abstraction of a network divided into fixed geographical regions, each containing a virtual server for network services. In this ...

    • Task-Structured Probabilistic I/O Automata 

      Canetti, Ran; Cheung, Ling; Kaynar, Dilsun; Liskov, Moses; Lynch, Nancy; e.a. (2009.)
      Modeling frameworks such as Probabilistic I/O Automata (PIOA) and Markov Decision Processes permit both probabilistic and nondeterministic choices. In order to use these frameworks to express claims about probabilities of ...