Leveraging the potential power of even small handheld devices able to communicate wirelessly requires dedicated support. In particular, collaborative applications need sophisticate...
A type system is presented that combines a weak form of information flow control, termed distributed access control in the paper, with typed cryptographic operations. The motivat...
: Modern SoC Design for high-volume products requires a strong focus on Design-for-Test and Designfor-Manufacturability. We present a case study of an SoC test concept, including a...
that negotiation is a powerful abstract notion for the coordination of generic services available from distributed components. This is the main motivation underlying the developme...
In this article, we try to analyze the requirements of developmental processes from the perspective of their implementation in digital hardware. After recalling the motivations fo...
Gianluca Tempesti, Daniel Mange, Enrico Petraglio,...