Context management has been a key technique in Ambient Intelligence applications development, although its use has not attain such success in other environments, such as those evol...
Investigating soundness and completeness of verification calculi for imperative programming languages is a challenging task. Incorrect results have been published in the past. We t...
E-commerce has brought both opportunities and challenges to Internet marketers. One challenge facing the marketers is to "convert" Internet users who are reluctant to bu...
Behavioral experiments addressing the conceptualization of geographic events are few and far between. Our research seeks to address this deficiency by developing an experimental fr...
Alexander Klippel, Rui Li, Frank Hardisty, Chris W...