As mobile and wearable technology has evolved, an increasing need for indoor positioning
has arisen. In particular, the use of ultrasonics provides a cheap way to fulfil this need …

Modern networking technologies, such as Cloud or SOA, enable cooperations and
individuals to form dynamic coalitions for temporary sharing of resources and information in …

This thesis addresses the formal veri cation of a support infrastructure for resilient dynami-
cally recon gurable systems. A component-based system, whose architectural con guration …

The concept of dynamic coalitions (also virtual organizations) describes the temporary
interconnection of autonomous agents, who share information or resources in order to …

This dissertation deals with the definition of privacy-aware dynamic coalitions by means of a
formal framework, based on the Abstract State Machine (ASM) formalism. To this end, basic …

This dissertation deals with the definition of privacy-aware dynamic coalitions by means of a
formal framework, based on the Abstract State Machine (ASM) formalism. To this end, basic …

We propose the development of a verifiable dynamic coalition as a challenge problem for
the research communities in formal methods, dynamic coalitions, dependability and human …