1,720,994 research outputs found

    Programming Legal Contracts: – A Beginners Guide to Stipula –

    Full text link
    We discuss the design principles of Stipula, a domain specific language that can assists lawyers in programming legal contracts through specific software patterns. The language is based on a small set of primitives, that precisely correspond to the distinctive elements of legal contracts, and that are amenable to be prototyped on both centralized or distributed systems. We also outline two formal techniques to reason about Stipula contracts: a type inference system that allows to derive types for fields, assets and contract’s functions, and an analyzer of liquidity that pinpoints those contracts that do not freeze any asset foreve

    Digital technologies and behavior manipulation

    No full text
    Today's growing and intimate relationship between people and technology has generated an increasingly in-depth discussion of the problems correlated to the design methods of technological innovations. This implicitly confers an important social and ethical role to the software houses, which contribute to the creation of products that can influence the behavior of the users to the point of manipulating it. However, this same persuasive power also represents a powerful means to catalyze positive behaviors. With this in mind, the “ethical design” movement was born, aimed at promoting digital well-being and revising the methods of technology implementation in a human-centric fashion

    From agent-based modeling to actor-based reactive systems in the analysis of financial networks

    Full text link
    We present a new framework for the analysis of financial networks, called Actor-based Reactive Systems (ARS), that pushes further the Agent-Based approach (ABM) by resorting to ideas coming from the study of distributed systems in computer science. Two distinctive features, namely a fundamentally different management of time and a fully decentralized control logic, have a profound impact in terms of expressiveness of analysis, flexibility of modeling, and efficiency of experimentation. To illustrate the feasibility of the framework, we develop a realistic case study by analyzing the systemic risk of a model of the European banking network with a nontrivial contagion procedure, that combines an initial asset shock with the negative feedback loop triggered by asset fire sales. We show that, compared to ABMs, ARSs bring about finer-grained analyses, with a greater degree of heterogeneity and adaptivity of economic agents. Moreover, the very low computational cost and the detailed account of the system’s execution support the design and the development of very flexible stress tests to rapidly experiment with many hypothetical scenarios in a test-oriented style

    The data selling business, its practices and consequences in social ethics | Il business della vendita di dati, pratiche e conseguenze nell'etica sociale

    No full text
    The wealth of digital information and personal data freely accessible on the Web has encouraged many companies, known as data brokers, to exploit such resources. These entities gather and process large amounts of information to later sell them to other companies. Today, the combined relevance of Internet services in people’s lives and the advancements in big data analysis allow data brokers to retain larger and larger quantities of remarkably precise and sensitive personal data. It becomes therefore necessary to enforce the principles of transparency and ethical usage of consumer information

    The data selling business, its practices and consequences in social ethics

    No full text
    The wealth of digital information and personal data freely accessible on the Web has encouraged many companies, known as data brokers, to exploit such resources. These entities gather and process large amounts of information to later sell them to other companies. Today, the combined relevance of Internet services in people's lives and the advancements in big data analysis allows data brokers to retain larger and larger quantities of remarkably precise and sensitive personal data. It becomes therefore necessary to enforce the principles of transparency and ethical usage of consumer information

    Impronte digitali, algoritmo e trattamento di dati personali: questioni di "law and technology"

    No full text
    L'articolo esamina in chiave critica una recente sentenza di Cassazione relativa alla nozione di dato personale biometrico. Nello specifico il tema affrontato riguarda la trasformazione del dato biometrico in un codice al fine di verificare se tale trasformazione consenta o no l'identificazione personale del lavoratore attraverso operazioni di confronto tra il codice numerico ricavato ad ogni accesso e quello originariamente raccolto. Gli Autori sviluppano l'analisi in prospettiva multidisciplinare

    Il business della vendita dei dati, pratiche e conseguenze nell'etica sociale

    No full text
    L’abbondanza e la facilità di accesso ad informazioni relative ad entità e utenti del Web e alle loro abitudini, hanno condotto al proliferare di compagnie, note con il nome di data broker, che sfruttano questa ricchezza, raccogliendo ed elaborando tali informazioni per venderle ad altre aziende. La crescente rilevanza che l’utilizzo dei servizi Internet sta assumendo nella società di oggi, unita al progresso degli strumenti di analisi dei big data, rende possibile ai data broker ottenere informazioni sempre più rilevanti, specifiche e sensibili. Si evidenzia dunque la necessità di porre degli obiettivi di trasparenza verso il pubblico, nonché di comprendere le implicazioni etiche dei servizi offerti da queste compagnie
    corecore