The proliferation of sensor networks, mobile and pervasive computing has provided the technological push for a new class of participatory-sensing applications, based on sensing and aggregating user-generated content, and transforming it into knowledge. However, given the power and value of both the raw data and the derived knowledge, to ensure that the generators are commensurate beneficiaries, we advocate an open approach to the data and intellectual property rights by treating user-generated content, as well as derived information and knowledge, as a common-pool resource. In this paper, we undertake an extensive review of experimental, commercial and social participatory sensory applications, from which we identify that a decentralised, community-oriented governance model is required to support this approach. Furthermore, we show that Ostrom’s institutional analysis and development framework, in conjunction with a framework for self-organising electronic institutions, can be used to give both an architecture and algorithmic base for the requisite governance model, in terms of operational and collective-choice rules specified in computational logic. This provides, we believe, the foundations for engineering knowledge commons for the next generation of participatory-sensing applications, in which the data generators are also the primary beneficiaries.

Drawing upon the theories of complexity and complex adaptive systems and the Singerian inquiring system from C. West Churchman's seminal work The Design of Inquiring Systems, the study herein develops a systems design theory for continuous auditing systems. The discussion focuses on the two foundational theories, development of the theory of Complex Adaptive Inquiring Organizations (CAIO) and associated design principles for a continuous auditing system supporting a CAIO, and instantiation of the CAIO theory. The instantiation consists of an agent-based model depicting the marketplace for Frontier Airlines that generates an anticipated market share used as an integral component in a mock auditor going concern opinion for the airline. As a whole, the study addresses the lack of an underlying system design theory and comprehensive view needed to build upon and advance the continuous assurance movement and addresses the question of how continuous auditing systems should be designed to produce knowledge – knowledge that benefits auditors, clients, and society as a whole.

With its presence in data integration, chemistry, biological, and geographic systems, eXtensible Markup Language (XML) has become an important standard not only in computer science. A common problem among the mentioned applications involves structural clustering of XML documents—an issue that has been thoroughly studied and led to the creation of a myriad of approaches. In this paper, we present a comprehensive review of structural XML clustering. First, we provide a basic introduction to the problem and highlight the main challenges in this research area. Subsequently, we divide the problem into three subtasks and discuss the most common document representations, structural similarity measures, and clustering algorithms. In addition, we present the most popular evaluation measures, which can be used to estimate clustering quality. Finally, we analyze and compare 23 state-of-the-art approaches and arrange them in an original taxonomy. By providing an up-to-date analysis of existing structural XML clustering algorithms, we hope to showcase methods suitable for current applications and draw lines of future research.

The complexity of pervasive systems arises from the many different aspects that such systems possess. A typical pervasive system may be autonomous, distributed, concurrent and context based, and may involve humans and robotic devices working together. If we wish to formally verify the behaviour of such systems, the formal methods for pervasive systems will surely also be complex. In this paper, we move towards being able to formally verify pervasive systems and outline our approach wherein we distinguish four distinct dimensions within pervasive system behaviour and utilize different, but appropriate, formal techniques for verifying each one.

Research on preferences has significantly increased in recent years, as it involves not only many subproblems to be investigated, such as elicitation, representation, and reasoning, but has also been the target of different research areas, for example, artificial intelligence and databases. In particular, much work has focused on qualitative preferences, because these are closer to the way people express their preferences in comparison with quantitative preferences. Against this background, a large number of approaches have been proposed, associated with heterogeneous areas, so that these approaches are usually just compared with those of the same area. In response, we present in this paper a survey of approaches to qualitative multi-attribute preference reasoning, covering different research areas. We introduce selected approaches that propose different techniques and algorithms, which take as input qualitative multi-attribute preference statements following a particular structure specified by the approach. We analyse each approach in a systematic way and discuss their commonalities and limitations.