Browsing by Author "Liu, Likai"

OpenBU

Browsing by Author "Liu, Likai"

Sort by: Order: Results:

  • Gabay, Yarom; Ocean, Michael J.; Kfoury, Assaf J.; Liu, Likai (Boston University Computer Science Department, 2006-02-06)
    Sensor applications in Sensoria [1] are expressed using STEP (Sensorium Task Execution Plan). SNAFU (Sensor-Net Applications as Functional Units) serves as a high-level sensor-programming language, which is compiled into ...
  • 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 ...
  • Liu, Likai; Kfoury, Assaf J.; Bestavros, Azer; Gabay, Yarom; Bradley, Adam D.; Matta, Ibrahim (Boston University Computer Science Department, 2005-12-28)
    We present a type inference algorithm, in the style of compositional analysis, for the language TRAFFIC—a specification language for flow composition applications proposed in [2]—and prove that this algorithm is correct: ...
  • Liu, Likai; Kfoury, Assaf J.; Bestavros, Azer; Bradley, Adam D.; Gabay, Yarom; Matta, Ibrahim (Boston University Computer Science Department, 2005-05-01)
    This paper formally defines the operational semantic for TRAFFIC, a specification language for flow composition applications proposed in BUCS-TR-2005-014, and presents a type system based on desired safety assurance. We ...
  • 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 ...
  • Liu, Likai; Kfoury, Assaf J.; Bestavros, Azer; Gabay, Yarom; Bradley, Adam D.; Matta, Ibrahim (Boston University Computer Science Department, 2005-12-28)
    When analysing the behavior of complex networked systems, it is often the case that some components within that network are only known to the extent that they belong to one of a set of possible "implementations" – e.g., ...