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)
Human mast cells readily release a variety of mediators, including cytokines, in response to IgE receptor crosslinking, but the mechanisms governing the expression of cytokines are still unclear. Using a human mast cell line, HMC-1, we show expression of cytokine transcripts as early as 2 h after activation with ionomycin and phorbol myristate acetate(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)
  • 1