A safety and liveness theory for total reversibility

Scalable Anti-KNN: Decentralized Computation of k-Furthest-Neighbor Graphs with HyFN

Scaling a Software Business

SDN-enabled Adaptation of Videoconference Streams to Network Dynamics

A Proposed Approach to the Revision of IEC 80001-1 Following Annex SL

Proposing an access gate to facilitate knowledge exchange for smart city services

Provably Correct Systems

Qualitative evaluation of the profiles and the potential of contributors to virtual teams

Quality of experience assessment of 3D video synchronised with multisensorial media components

Rapid Continuous Software Engineering