Browsing by Author "Ocean, Michael"

OpenBU

Browsing by Author "Ocean, Michael"

Sort by: Order: Results:

  • Safe Compositional Network Sketches: The Formal Framework
    Bestavros, Azer; Kfoury, Assaf; Lapets, Andrei; Ocean, Michael (Boston University Computer Science Department, 2009-10-30)
    NetSketch is a tool for the specification of constrained-flow applications and the certification of desirable safety properties imposed thereon. NetSketch is conceived to assist system integrators in two types of activities: ...
  • Safe Compositional Network Sketches: Tool & Use Cases
    Bestavros, Azer; Kfoury, Assaf; Lapets, Andrei; Ocean, Michael (Boston University Computer Science Department, 2009-10-01)
    NetSketch is a tool that enables the specification of network-flow applications and the certification of desirable safety properties imposed thereon. NetSketch is conceived to assist system integrators in two types of ...
  • A Type System For Safe SN Resource Allocation
    Ocean, Michael; Kfoury, Assaf; Bestavros, Azer (Boston University Computer Science Department, 2008-06-14)
    snBench is a platform on which novice users compose and deploy distributed Sense and Respond programs for simultaneous execution on a shared, distributed infrastructure. It is a natural imperative that we have the ability ...