The need of formal verification is a problem that involves all the fields in which sensible data are managed. In this context the verification of data streams became a fundamental...
Partial Reconfiguration on heterogeneous Field Programmable Gate Arrays (FPGA) with millions of gates yields better utilization of resources by swapping in and out the active modu...
In this paper we describe VPlay, a multi-touch tabletop application that allows users to mix and manipulate multiple video streams in real-time. Our aim is to explore how such an ...
Armando Garcia-Mendoza, David S. Kirk, Richard H. ...
Within the HCI community, there is a growing interest in how technology is used and appropriated outside the workplace. In this paper, we present preliminary findings of how large...
Susan Wyche, Yevgeniy Eugene Medynskiy, Rebecca E....
Designing mobile and wearable applications is a challenge. The context of use is more important than ever and traditional methodologies for elicitation and specification reach the...