In this paper we propose the construction of a visual content layer which describes the visual appearance of geographic locations in a city. We captured, by means of a Mobile Mappi...
We study decision problems for parameterized verification of a formal model of Ad Hoc Networks with selective broadcast and spontaneous movement. The communication topology of a ne...
Giorgio Delzanno, Arnaud Sangnier, Gianluigi Zavat...
This paper proposes Convenience Probe, a participatory sensing tool to collect large-scale consumer flow behaviors from everyday mobile phones. We hope to use Convenience Probe to...
Computer networks have expanded significantly in use and numbers. This expansion makes them more vulnerable to attack by malicious agents. Many current intrusion detection systems...
Abstract: In this paper, we describe a prototype of an adaptive indoor navigation system which is based on mobile devices and navigates visually impaired people through an unknown ...