Effect systems are important for reasoning about the side effects of a program. Although effect systems have been around for decades, they have not been widely adopted in practice...
Mohsen Vakilian, Danny Dig, Robert L. Bocchino Jr....
Abstract. We examine the use of randomness extraction and expansion in key agreement (KA) protocols to generate uniformly random keys in the standard model. Although existing works...
We present a novel data-driven algorithm that leverages online image repositories such as Flickr for automatically generating tourist maps. Our hypothesis is that, given a large e...
In this paper, we summarize the presentations and discussions of the 3rd International Workshop on Data Engineering Issues in ECommerce and Services (DEECS 2007), which was held i...
Martin Hepp, Mehmet Sayal, Sang-goo Lee, Juhnyoung...