che-chandler.de

User-Centric Networking

This work represents a milestone for the"e;ULOOP User-centric Wireless Local Loop"e; pr...

Process Algebraic Approach to Software Architecture Design

Inthe?eldofformalmethodsincomputerscience,concurrencytheoryisreceivinga constantlyincreasinginter...

Data Privacy Management, and Security Assurance

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

Formal Methods for Quantitative Aspects of Programming Languages

Computer Performance Engineering

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

User-Centric Networking

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

A Process Algebraic Approach to Software Architecture Design

Inthe?eldofformalmethodsincomputerscience,concurrencytheoryisreceivinga constantlyincreasinginter...

Data Privacy Management, Autonomous Spontaneous Security, and Security Assurance

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

Data Privacy Management, and Security Assurance

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

Computer Performance Engineering

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

Formal Methods for Quantitative Aspects of Programming Languages

This volume presents the set of papers accompanying some of the lectures of the 10th Internationa...

Data Privacy Management, Autonomous Spontaneous Security, and Security Assurance

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