The IoT platforms must allow the communication between applications and devices according to non-functional requirements. Some of the main requirements...
Seguir leyendo arrow_right_altThe rich data that Massive Open Online Course (MOOC) platforms collect on the behavior of millions of students provide a...
Seguir leyendo arrow_right_altThe Transport Layer Security (TLS) protocol is the de-facto standard for encrypted communication on the Internet. However, it has been...
Seguir leyendo arrow_right_altOver the past decade, Internet eXchange Points (IXPs) have been playing a key role in enabling interdomain connectivity by providing...
Seguir leyendo arrow_right_altLa Fundación para el Conocimiento Madrimasd celebra un taller de emprendimiento en IMDEA Networks. Durante el taller, Jesús González Rojo,...
Seguir leyendo arrow_right_altThis work considers the scheduling problem of a decentralized system where a number of dynamical subsystems with no computational power...
Seguir leyendo arrow_right_altBlockchain is an emerging technology first used for digital currency transactions in Bitcoin. New blockchain platforms are now recognised as...
Seguir leyendo arrow_right_altWe present a scalable dynamic analysis framework that allows for the automatic evaluation of the privacy behaviors of Android apps....
Seguir leyendo arrow_right_altWe present Vera, a tool that exhaustively verifies P4 programs using symbolic execution. Vera automatically uncovers a number of common...
Seguir leyendo arrow_right_altNewHoRRIzon is a project that aims at further integrating Responsible Research and Innovation (RRI) in the research and innovation systems...
Seguir leyendo arrow_right_alt
Comentarios recientes