Abstract—We describe BPELCheck, a tool for statically analyzing interactions of composite web services implemented in BPEL. Our algorithm is compositional, and checks each proces...
Jeffrey Fischer, Rupak Majumdar, Francesco Sorrent...
This paper describes a qualitative user study of mobile phone TV usage undertaken during September 2005 and centered on the real world Mobile TV usage of paying subscribers of live...
Complex environmental modeling often involves a large number of unknown physical and ecological parameters. Parameter estimation is one of the most difficult steps in many modelin...
This paper describes research into the personalised delivery of information about an intelligent environment. The challenges we need to address are the dual forms of the Invisibili...
This paper reports the user study and design of a concept to improve mobile messaging for teens. A study of current mobile phone use by teens (16-18) showed that, while they prefe...
Alia K. Amin, B. T. A. Kersten, Olga A. Kulyk, P. ...