User-Centric Networking

This work represents a milestone for the  'ULOOP User-centric Wireless Local Loop' project fun...

Foundations of Security Analysis and Design VIII

FOSAD has been one of the foremost educational events established with the goal of disseminating ...

User-Centric Networking

Data Privacy Management and Security Assurance

This book constitutes the refereed proceedings of the 11th International Workshop on Data Privacy...

User-Centric Networking

This work represents a milestone for the  'ULOOP User-centric Wireless Local Loop' project funded...

Data Privacy Management, and Security Assurance

This book constitutes the revised selected papers of the 10th International Workshop on Data ...

A Process Algebraic Approach to Software Architecture Design

Inthe?eldofformalmethodsincomputerscience,concurrencytheoryisreceivinga constantlyincreasinginter...

Foundations of Security Analysis and Design VII

FOSAD has been one of the foremost educational events established with the goal of disseminating ...

A Process Algebraic Approach to Software Architecture Design

Inthe?eldofformalmethodsincomputerscience,concurrencytheoryisreceivinga constantlyincreasinginter...

Foundations of Security Analysis and Design VI

FOSAD has been one of the foremost educational events established with the goal of disseminating ...

Software Engineering and Formal Methods. SEFM 2023 Collocated Workshops

This volume constitutes the papers of two workshops which were held in conjunction with the 21st ...

Computer Performance Engineering

This volume contains the proceedings of the 7th European Performance En- neering Workshop (EPEW 2...