This paper proposes a new type of Information/Communication system or Inquiry System to support the investigation by large groups (e.g. thousands of people) of complex topics abou...
This paper develops a probabilistic framework that can model and predict group activity over time on online social media. Users of social media sites such as Flickr often face the...
Abstract. This paper presents the very first implementation of a HyperTransport 3 physical layer interface for Field Programmable Gate Arrays. HyperTransport is a low latency, high...
The large amount of information that is spread over the Internet is an important resource for all people but also introduces some issues that must be faced. The dynamism and the un...
Sonia Bergamaschi, Giacomo Cabri, Francesco Guerra...
The history of the application of formal methods to cryptographic protocol analysis spans nearly twenty years, and recently has been showing signs of new maturity and consolidatio...