Browsing Computer Science by Author "Kfoury, Assaf"

OpenBU

Browsing Computer Science by Author "Kfoury, Assaf"

Sort by: Order: Results:

  • Donnelly, Kevin; Kfoury, Assaf; Lapets, Andrei (CS Department, Boston University, 2010-03-15)
    Interdomain routing on the Internet is performed using route preference policies specified independently and arbitrarily by each autonomous system (AS) in the network. These policies are used in the border gateway protocol ...
  • Liu, Likai; Kfoury, Assaf (Boston University Computer Science Department, 2008-01-24)
    In our previous work, we developed TRAFFIC(X), a specification language for modeling bi-directional network flows featuring a type system with constrained polymorphism. In this paper, we present two ways to customize the ...
  • Ishakian, Vatche; Lapets, Andrei; Bestavros, Azer; Kfoury, Assaf (CS Department, Boston University, 2010-08-24)
    Desirable application performance is typically guaranteed through the use of Service Level Agreements (SLAs) that specify fixed fractions of resource capacities that must be allocated for unencumbered use by the application. ...
  • Kfoury, Assaf (Boston University Computer Science Department, 2009-12-01)
    We survey several of the research efforts pursued by the iBench and snBench projects in the CS Department at Boston University over the last half dozen years. These activities use ideas and methodologies inspired by recent ...
  • Lapets, Andrei; Kfoury, Assaf (CS Department, Boston University, 2010-03-14)
    Interdomain routing on the internet is performed using route preference policies specified independently and arbitrarily by each autonomous system (AS) in the network. These policies are used in the border gateway protocol ...
  • Donnelly, Kevin; Kfoury, Assaf (Boston University Computer Science Department, 2008-02-05)
    Interdomain routing on the Internet is performed using route preference policies specified independently, and arbitrarily by each Autonomous System in the network. These policies are used in the border gateway protocol ...
  • Lapets, Andrei; Lalwani, Prakash; Kfoury, Assaf (CS Department, Boston University, 2010-05-14)
    The usability of verification systems is becoming increasingly important, and the effective integration of ontologies of formal facts (definitions, propositions, and syntactic idioms) into machine verification systems will ...
  • Lapets, Andrei; Kfoury, Assaf; Bestavros, Azer (CS Department, Boston University, 2010-01-19)
    NetSketch is a tool for the specification of constrained-flow networks (CFNs) and the certification of desirable safety properties imposed thereon, conceived to assist system integrators in modeling and design. It provides ...
  • 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 ...
  • Liu, Likai; Kfoury, Assaf (Boston University Computer Science Department, 2006-10-26)
    In the framework of iBench research project, our previous work created a domain specific language TRAFFIC [6] that facilitates specification, programming, and maintenance of distributed applications over a network. It ...
  • 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 ...
  • Ishakian, Vatche; Bestavros, Azer; Kfoury, Assaf (CS Department, Boston University, 2010-01-24)
    Desirable application performance is typically guaranteed through the use of Service Level Agreements (SLAs) that specify fixed fractions of resource capacities that must be allocated for unencumbered use by the application. ...
  • Lapets, Andrei; Kfoury, Assaf (CS Department, Boston University, 2010-05-14)
    User-friendly interfaces can play an important role in bringing the benefits of a machine-readable representation of formal arguments to a wider audience. The "aartifact" system is an easy-to-use lightweight verifier for ...
  • Lapets, Andrei; Kfoury, Assaf (Boston University Computer Science Department, 2009-10-01)
    In research areas involving mathematical rigor, there are numerous benefits to adopting a formal representation of models and arguments: reusability, automatic evaluation of examples, and verification of consistency and ...

Search OpenBU


Advanced Search

Browse

Deposit Materials