Learn More
In this paper we propose a rich notion of directionality of predicates that combines modes and regular tree types. We provide a semantic soundness result for this notion and give inference systems to decide well-modedness of logic programs and goals. We show how this rich notion of directionality can be used to prove the universal termination of(More)
This paper describes the design, implementation, deployment, and ongoing management of a cross-platform native mobile application that empowers the Field (Sales, Marketing, Systems Engineers) in an Enterprise to collaborate with Customers through sharing "the right enterprise content & services: anytime, anywhere, from many mobile devices". The mobile(More)
New network applications like intrusion detection systems and packet-level accounting require multi-match packet classification, where all matching filters need to be reported. Ternary Content Addressable Memories (TCAMs) have been adopted to solve the multi-match classification problem due to their ability to perform fast parallel matching. However, TCAM(More)
  • 1