Foundations of Software Science and Computation Structures

This open access book constitutes the proceedings of the 22nd International Conference on Foundations of Software Science and Computational Structures, FOSSACS 2019, which took place in Prague, Czech Republic, in April 2019, held as part of the European Joint Conference on Theory and Practice of Software, ETAPS 2019. The 29 papers presented in this volume were carefully reviewed and selected from 85 submissions. They deal with foundational research with a clear significance for software science

LIPIcs, Volume 244, ESA 2022, Complete Volume

LIPIcs, Volume 244, ESA 2022, Complete Volum

A slum assemblage in Mumbai: emergence, organization and sociospatial morphology

Despite the current proliferation of research on slums, there remains an impasse in our ability to represent and understand informal residential settlements. This is largely due to the complexity and malleability of slums in the context of globalized flows of people, neoliberal economic and political restructuring, and processes of social marginalization and conflict. This thesis thus addresses the intellectual, representational, and political complexities associated with the global proliferation of slums so as to facilitate more just and egalitarian societies. As such, the aim of the study is to identify and examine emergent factors that contribute to social injustice and inequality in the context of ever transforming spatial, social, economic, and political processes. To do so, it examines the emergence, organization, and socio-spatial morphology of Ganesh Murthy Nagar, a squatter settlement in Mumbai, India. Conceptually, the framework guiding my study is based on Deleuzoguattarian thought and draws upon assemblage theory in relation to contemporary research in critical Urban Studies. My methodology is oriented towards thick empirical description and addresses historical, ethnographic, and developmental perspectives. This approach contributes to three specific objectives of the thesis: to identify the functional components of the settlement-assemblage and trace their emergence and evolution in time; to map the constitutive associations inherent in the ordering of these components in and beyond the settlement; and to determine the components’ constraining and enabling effects on other components in the assemblage. My findings suggest that State policies promoting participatory governance have triggered the emergence of social hierarchies and the centralization of power within the settlement. In collusion with other endogenous social networks and State actors, a defensible space of dominance has been established that continues to assemble power from diverse relationships with developmental partners. Rather than advancing the positive potential of interventions, weaknesses with slum policies and their implementation have contributed to a settlement with unequal and unjust relations, a fragmented populace, and pervasive feelings of fear

Data and the city – accessibility and openness. a cybersalon paper on open data

This paper showcases examples of bottom–up open data and smart city applications and identifies lessons for future such efforts. Examples include Changify, a neighbourhood-based platform for residents, businesses, and companies; Open Sensors, which provides APIs to help businesses, startups, and individuals develop applications for the Internet of Things; and Cybersalon’s Hackney Treasures. a location-based mobile app that uses Wikipedia entries geolocated in Hackney borough to map notable local residents. Other experiments with sensors and open data by Cybersalon members include Ilze Black and Nanda Khaorapapong's The Breather, a "breathing" balloon that uses high-end, sophisticated sensors to make air quality visible; and James Moulding's AirPublic, which measures pollution levels. Based on Cybersalon's experience to date, getting data to the people is difficult, circuitous, and slow, requiring an intricate process of leadership, public relations, and perseverance. Although there are myriad tools and initiatives, there is no one solution for the actual transfer of that data

Traffic Engineering of Management Flows by Link Augmentations on Confluent Trees

Service providers rely on the management systems housed in their Network Operations Centers (NOCs)to remotely operate, monitor and provision their data networks. Lately there has been a tremendous increas

Traffic Engineering of Management Flows by Link Augmentations on Confluent Trees

Service providers rely on the management systems housed in their Network Operations Centers (NOCs) to remotely operate, monitor and provision their data networks. Lately there has been a tremendous increase in management traffic due to the growing complexity and size of the data networks and the services provisioned on them. Traffic engineering for management flows to avoid congestion resulting in loss of critical data (e.g. billing records, network alarms etc.) is essential for the smooth functioning of these networks. As is the case with most intra-domain routing protocols the management flows in many of these networks are routed on shortest paths connecting the NOC with the service providers POPs (points of presence). These collection of paths thus form a “confluent ” tree rooted at the gateway router connected to the NOC. The links close to the gateway router may form a bottleneck in this tree resulting in congestion. Typically this congestion is alleviated by adding layer two tunnels (virtual links) that bypass the traffic off some links of this tree by routing it directly to the gateway router. The traffic engineering problem is then to minimize the number of virtual links needed for alleviating congestion. In this paper we formulate a traffic engineering problem motivated by the above mentioned applications. We show that the general versions of this problem are hard to solve. However, for some simpler cases i