Browsing Computer Science by Author "Ocean, Michael"

OpenBU

Browsing Computer Science by Author "Ocean, Michael"

Sort by: Order: Results:

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

Search OpenBU


Advanced Search

Browse

Deposit Materials