Semantic and logical foundations of global computing: Papers from the EU-FET global computing initiative (2001–2005)

Overvew of the contents of the volume "Semantic and logical foundations of global computing

Epistemic Logic for Communication Chains

The paper considers epistemic properties of linear communication chains. It describes a sound and complete logical system that, in addition to the standard axioms of S5 in a multi-modal language, contains two non-trivial axioms that capture the linear structure of communication chains.Comment: 7 pages, Contributed talk at TARK 2013 (arXiv:1310.6382) http://www.tark.or

Spillovers diffusion inside networks of cooperation: the role of temporary geographical and organisational proximities.

The objective of this article is to examine the diffusion of spillovers within technological cooperation. More precisely, we shall ask to what extent permanent geographic proximity, defined, as co-location by the geography of innovation, is really necessary to benefit from spillovers when agents cooperate. It turns out that co-localisation is not a sufficient condition; geographic proximity is often required but it can be temporary. This condition must be linked with organisational proximity to be effective. Then, it appears that spillovers are not “in the air(s)” but in networks.Spillovers; Technological cooperation; Geographic proximity; Organisational proximity; A-spatial network;

Pervasive Gaming: Testing Future Context Aware Applications

More and more technical research projects take place that weave together elements of real and virtual life to provide a new experience defined as pervasive. They bank on the development of mobile services to drive the expansion of pervasive applications and in particular pervasive games. Using geolocalisation, local networks and short range radio frequencies technologies like RFID or other tagging technologies, pervasive games rely on a close relationship to the environment and thus explore the space between fiction and reality. This is their main quality but possibly their main weakness as the development relies on the production of specific contents in relation to the context of use. In this article, we propose to explore what this entirely new paradigm for game design implies in terms of production and how to overcome the limitations due to this dependency of contents and context. Based on our experience of three pervasive games developed within research projects on adhoc wifi (ANR-Safari and ANRTranshumance) and RFID networks (ANR-PLUG), this paper presents different options to reducing the cost of content production relying on either traditional editors or grass root contributions.pervasive games, content production, game design, geolocalised technologies.

Networks in the shadow of markets and hierarchies : calling the shots in the visual effects industry

The nature and organisation of creative industries and creative work has increasingly been at the centre of academic and policy debates in recent years. The differentiation of this field, economically and spatially, has been tied to more general arguments about the trend towards new trust-based, network forms of organization and economic coordination. In the first part of this paper, we set out, unpack and then critique the conceptual and empirical foundations of such claims. In the main section of the paper, we draw on research into a particular creative sector of the economy - the visual effects component of the film industry - a relatively new though increasingly important global production network. By focusing both on firms and their workers, and drawing on concepts derived from global value chain, labour process and institutional analysis, we aim to offer a more realistic and grounded analysis of creative work within creative industries. The analysis begins with an attempt to explain the power dynamics and patterns of competition and collaboration in inter-firm relations within the Hollywood studio-dominated value chain, before moving to a detailed examination of how the organisation of work and reemployment relations are central to the capturing of value. On the basis of that evidence, we conclude that trust-based networks and collaborative communities play some part in accessing and acquiring leverage in the value chain, but do not explain the core mechanisms of resource allocation, coordination and work organisation