Works of Nancy Lynch: Recent submissions

Now showing items 46-48 of 100

    • Dynamic Input/Output Automata: a Formal and Compositional Model for Dynamic Systems 

      Attie, Paul C.; Lynch, Nancy A. (2013-07-08)
      We present dynamic I/O automata (DIOA), a compositional model of dynamic systems, based on I/O automata. In our model, automata can be created and destroyed dynamically, as computation proceeds. In addition, an automaton ...

    • 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 ...