This document is the final report describing the activities carried by the Cross Issue Validation (CIV) in the framework of the second phase of Wireless World Initiative (WWI) projects. The Cross Issue Validation is a cross-project working group, dedicated to demos and trials of WWI projects (Ambient Networks, WINNER, E2R, SPICE, MOBILIFE). The CIV main goal is to bring a general and synthetic ...

This paper is concerned with the online public engagement ‘Leitbild Metropolis Hamburg – Growing City’ which has been conducted in the context of the EU project DEMOS (Delphi Mediation Online System). The result of DEMOS is an innovative Internet platform facilitating democratic discussions and participative public opinion formation. The test of the DEMOS approach and the software system during...

Electromagnetic fields are considered by many students as a difficult subject. Unwanted electromagnetic fields are even tougher for students. We have developed many experiments as demonstrations (demos) to show the effect of electromagnetic fields in real life products. This paper gives an overview of these demos.

© Modelling Task Knowledge Structures in Demos 2000 Jean Paul Degabriele, David Pym HP Laboratories HPL-2008-94 Task Knowledge Structures, Demos 2000, Modelling Task Knowledge Structures provide an account of the knowledge structures that people possess and use when performing a task. Such models can be constructed using various techniques, such as direct observation, interviews, questionnaires...

[Hay03] defines the non-temporal semantics of a simulation language, Demos, in order to be able to model processes acting on shared resources. It also defines the semantics of a logic, PBI, an extension of the Logic of Bunched Implications [POY02, Pym02, OP99], to query these models. This document describes a simple model checker capable of checking a subclass of PBI formulæ against Demos model...