Info
Assurances for Self-Adaptive Systems [[electronic resource] ] : Principles, Models, and Techniques / / edited by Javier Cámara, Rogério de Lemos, Carlo Ghezzi, Antonia Lopes
| Assurances for Self-Adaptive Systems [[electronic resource] ] : Principles, Models, and Techniques / / edited by Javier Cámara, Rogério de Lemos, Carlo Ghezzi, Antonia Lopes |
| Edizione | [1st ed. 2013.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2013 |
| Descrizione fisica | 1 online resource (X, 341 p. 94 illus.) |
| Disciplina | 005.1 |
| Collana | Programming and Software Engineering |
| Soggetto topico |
Software engineering
Computer logic Programming languages (Electronic computers) Computer communication systems Operating systems (Computers) Software Engineering Logics and Meanings of Programs Programming Languages, Compilers, Interpreters Computer Communication Networks Operating Systems |
| ISBN | 3-642-36248-6 |
| Formato | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Model Checking Adaptive Software with Featured Transition Systems -- Probabilistic Verification at Runtime for Self-Adaptive Systems -- Verification of a Self-configuration Protocol for Distributed Applications in the Cloud -- Formal Modeling and Verification of Self-* Systems Based on Observer/Controller-Architectures -- Timed Hazard Analysis of Self-healing Systems -- Model-Driven Development of Safe Self-optimizing Mechatronic Systems with MechatronicUML -- Model-Based Reasoning for Self-Adaptive Systems – Theory and Practice -- Achieving Self-adaptation through Dynamic Group Management -- Accurate Proactive Adaptation of Service-Oriented Systems -- Failure Avoidance in Configurable Systems through Feature Locality -- Emerging Techniques for the Engineering of Self Adaptive High-Integrity Software -- Assurance of Self-adaptive Controllers for the Cloud. |
| Record Nr. | UNISA-996466268003316 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2013 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
ESEC '89 [[electronic resource] ] : 2nd European Software Engineering Conference, University of Warwick, Coventry, UK, September 11-15, 1989. Proceedings / / edited by Carlo Ghezzi, John A. McDermid
| ESEC '89 [[electronic resource] ] : 2nd European Software Engineering Conference, University of Warwick, Coventry, UK, September 11-15, 1989. Proceedings / / edited by Carlo Ghezzi, John A. McDermid |
| Edizione | [1st ed. 1989.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 1989 |
| Descrizione fisica | 1 online resource (VIII, 500 p.) |
| Disciplina | 005.1 |
| Collana | Lecture Notes in Computer Science |
| Soggetto topico |
Software engineering
Programming languages (Electronic computers) Software Engineering/Programming and Operating Systems Software Engineering Programming Languages, Compilers, Interpreters |
| ISBN | 3-540-46723-8 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Software risk management -- MENU - an example for the systematic reuse of specifications -- Asking for the impossible: The state of the art in safety-related systems -- STEPS to software development with users -- The role of measurement in ISEEs -- An empirical and theoretical analysis of an information flow-based system design metric -- Systematic development of formal software process models -- Software process machines: A framework for future software development environments -- Practical experience of formal specification: A programming interface for communications -- Industrialising formal methods for telecommunications -- An application of the event calculus for representing the history of a software project -- Change oriented versioning -- Software change dynamics or half of all Ada compilations are redundant -- Version management in the PACT integrated software engineering environment -- Software engineering implications for formal refinement -- A rigorous development strategy using the OBJ specification language and the MALPAS program analysis tools -- Formal specification using structured systems analysis -- Tool integration in an open environment -- HCDM/GSDS — A design environment for real-time software with automatic program generation -- Graph grammars, a new paradigm for implementing visual languages -- Structural modelling of Prolog for metrication -- Rule-based handling of software quality and productivity models -- An object-oriented approach to the system analysis -- A pluralistic knowledge-based approach to software specification -- PROTOB a hierarchical object-oriented CASE tool for distributed systems -- The internet worm incident -- Validation of concurrent Ada™ programs using symbolic execution -- Assay-a tool to support regression testing. |
| Record Nr. | UNISA-996465727303316 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 1989 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Introduction to Digital Humanism : A Textbook / / edited by Hannes Werthner, Carlo Ghezzi, Jeff Kramer, Julian Nida-Rümelin, Bashar Nuseibeh, Erich Prem, Allison Stanger
| Introduction to Digital Humanism : A Textbook / / edited by Hannes Werthner, Carlo Ghezzi, Jeff Kramer, Julian Nida-Rümelin, Bashar Nuseibeh, Erich Prem, Allison Stanger |
| Edizione | [1st ed. 2024.] |
| Pubbl/distr/stampa | Cham : , : Springer Nature Switzerland : , : Imprint : Springer, , 2024 |
| Descrizione fisica | 1 online resource (XIII, 637 p. 64 illus., 51 illus. in color.) |
| Disciplina | 303.4834 |
| Soggetto topico |
Computers and civilization
Ethics Artificial intelligence Political science - Philosophy Computers and Society Moral Philosophy and Applied Ethics Artificial Intelligence Political Philosophy |
| ISBN | 3-031-45304-2 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Part 1: Background -- Humanism and Enlightenment -- Philosophical Foundations of Digital Humanism -- Evolution of Computing -- The Digital Revolution in a Historical Perspective -- The Social Responsibilities of Scientists and Technologists in the Digital Age -- "Digital transformation through the lens of intersectional gender research Challenges and needs for action -- No Digital Citizens Without Digital Humanisms -- Digital Transformation, Digital Humanism - What Needs to Be Done -- Part 2: Digital Humanism– a System’s View -- A Short Introduction to Artificial Intelligence – Methods, Success Stories, and Current Limitations -- Trustworthy Artificial Intelligence: Comprehensible, Transparent, Correctable -- ARE WE IN CONTROL? -- The Re-Enchanted Universe of AI: the Place for Human Agency -- Aesthetic Aspects of Digital Humanism: An Aesthetic-Philosophical Analysis of Whether AI Can Create Art -- Approaches to Ethical AI[1] -- Promises and Perils in Moralizing Technologies -- The Road Less Taken: Pathways to Ethical and Responsible Technologies -- Bridging the Digital Divide -- Responsible Software Engineering: Requirements and Goals -- Bridging the Digital Divide -- Responsible Software Engineering: Requirements and Goals -- Governance for Digital Humanism: The role of regulation, standardization, and certification -- Value-Sensitive Software Design: Ethical Deliberation in Agile Development Processes -- Humans in the loop: people at the heart of systems development -- Resilience: the Key to Planetary and Societal Sustainability -- How blockchain technology can help to arrive at fair ecosystems and platforms -- Introduction to Security and Privacy -- Part 3: Critical and Societal Issues of Digital Systems -- Recommender Systems: Techniques, Effects, and Measures Towards Pluralism and Fairness -- Bias and the Web -- Copyright enforcement on social media platforms: On Algorithmic Content Moderation -- DEMOCRACY IN THE DIGITAL ERA -- Are Cryptocurrencies and Decentralized Finance Democratic? -- Platforms: Their Structure, Benefits, and Challenges -- Work in a New World -- Digital Labor, Platforms, and AI -- Sovereignty in the Digital Age -- The Threat of Surveillance and the Need for Privacy Protections -- Human Rights Alignment: The Challenge Ahead for AI Lawmakers -- European Approaches to the Regulation of Digital Technologies. |
| Record Nr. | UNINA-9910799282103321 |
| Cham : , : Springer Nature Switzerland : , : Imprint : Springer, , 2024 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Methodologies and Technologies for Networked Enterprises [[electronic resource] ] : ArtDeco: Adaptive Infrastructures for Decentralised Organisations / / edited by Giuseppe Anastasi, Emilio Bellini, Di Nitto Elisabetta, Carlo Ghezzi, Letizia Tanca, Eugenio Zimeo
| Methodologies and Technologies for Networked Enterprises [[electronic resource] ] : ArtDeco: Adaptive Infrastructures for Decentralised Organisations / / edited by Giuseppe Anastasi, Emilio Bellini, Di Nitto Elisabetta, Carlo Ghezzi, Letizia Tanca, Eugenio Zimeo |
| Edizione | [1st ed. 2012.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2012 |
| Descrizione fisica | 1 online resource (XX, 453 p. 170 illus.) |
| Disciplina | 005.7 |
| Collana | Information Systems and Applications, incl. Internet/Web, and HCI |
| Soggetto topico |
Application software
Artificial intelligence Computer communication systems Data mining Information storage and retrieval User interfaces (Computer systems) Information Systems Applications (incl. Internet) Artificial Intelligence Computer Communication Networks Data Mining and Knowledge Discovery Information Storage and Retrieval User Interfaces and Human Computer Interaction |
| ISBN | 3-642-31739-1 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Introduction -- Reference Case Study -- Part I Organizational Issues: Methodologies, Empirical Contexts and Policies -- Which Collaboration Strategy for the Networked Enterprise in Wine Industry? Technological and Organizational Challenges -- A Design-Driven Approach for the Innovation Management within Networked Enterprises -- Enhancing the Networked Enterprise for SMEs: A Service Platforms – Oriented Industrial Policy -- Part II SoftwareMethodologies and Technologies -- Complex Autonomic Systems for Networked Enterprises: Mechanisms, Solutions and Design Approaches -- Autonomic Workflow and Business Process Modelling for Networked Enterprises -- Verification and Analysis of Autonomic Systems for Networked Enterprises -- Part III Knowledge Elicitation and Management.- Ontology-Based Knowledge Elicitation: An Architecture -- Knowledge Extraction from Natural Language Processing -- Knowledge Extraction from Events Flows -- Context-Aware Knowledge Querying in a Networked Enterprise -- On-the-Fly and Context-Aware Integration of Heterogeneous Data Sources -- Context Support for Designing Analytical Queries -- Part IV Management of Peripheral Devices -- Wireless Sensor Networks for Monitoring Vineyards -- Design, Implementation, and Field Experimentation of a Long-Lived Multi-hop Sensor Network for Vineyard Monitoring -- Extracting Data from WSNs: A Service-Oriented Approach -- Extracting Data from WSNs: A Data-Oriented Approach -- Optimal Design of Wireless Sensor Networks -- Enabling Traceability in theWine Supply Chain -- Part V Case Study -- Putting It All Together: Using the ArtDeco Approach in the Wine Business Domain. Reference Case Study -- Part I Organizational Issues: Methodologies, Empirical Contexts and Policies -- Which Collaboration Strategy for the Networked Enterprise in Wine Industry? Technological and Organizational Challenges -- A Design-Driven Approach for the Innovation Management within Networked Enterprises -- Enhancing the Networked Enterprise for SMEs: A Service Platforms – Oriented Industrial Policy -- Part II SoftwareMethodologies and Technologies -- Complex Autonomic Systems for Networked Enterprises: Mechanisms, Solutions and Design Approaches -- Autonomic Workflow and Business Process Modelling for Networked Enterprises -- Verification and Analysis of Autonomic Systems for Networked Enterprises -- Part III Knowledge Elicitation and Management.- Ontology-Based Knowledge Elicitation: An Architecture -- Knowledge Extraction from Natural Language Processing -- Knowledge Extraction from Events Flows -- Context-Aware Knowledge Querying in a Networked Enterprise -- On-the-Fly and Context-Aware Integration of Heterogeneous Data Sources -- Context Support for Designing Analytical Queries -- Part IV Management of Peripheral Devices -- Wireless Sensor Networks for Monitoring Vineyards -- Design, Implementation, and Field Experimentation of a Long-Lived Multi-hop Sensor Network for Vineyard Monitoring -- Extracting Data from WSNs: A Service-Oriented Approach -- Extracting Data from WSNs: A Data-Oriented Approach -- Optimal Design of Wireless Sensor Networks -- Enabling Traceability in theWine Supply Chain -- Part V Case Study -- Putting It All Together: Using the ArtDeco Approach in the Wine Business Domain. |
| Record Nr. | UNISA-996465485103316 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2012 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Ninth International Software Process Workshop : proceedings, Airlie, Virginia, October 5-7, 1994
| Ninth International Software Process Workshop : proceedings, Airlie, Virginia, October 5-7, 1994 |
| Pubbl/distr/stampa | [Place of publication not identified], : IEEE Computer Society Press, 1995 |
| Disciplina | 005.1/01/9 |
| Soggetto topico |
Computer software - Congresses
Engineering & Applied Sciences Computer Science |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISA-996198219803316 |
| [Place of publication not identified], : IEEE Computer Society Press, 1995 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Ninth International Software Process Workshop : proceedings, Airlie, Virginia, October 5-7, 1994
| Ninth International Software Process Workshop : proceedings, Airlie, Virginia, October 5-7, 1994 |
| Pubbl/distr/stampa | [Place of publication not identified], : IEEE Computer Society Press, 1995 |
| Disciplina | 005.1/01/9 |
| Soggetto topico |
Computer software
Engineering & Applied Sciences Computer Science |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNINA-9910872751303321 |
| [Place of publication not identified], : IEEE Computer Society Press, 1995 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Perspectives on Digital Humanism [[electronic resource]]
| Perspectives on Digital Humanism [[electronic resource]] |
| Autore | Werthner Hannes |
| Pubbl/distr/stampa | Cham, : Springer International Publishing AG, 2021 |
| Descrizione fisica | 1 online resource (330 p.) |
| Altri autori (Persone) |
PremErich
LeeEdward A GhezziCarlo |
| Soggetto topico |
Ethical & social aspects of IT
Ethics & moral philosophy Business & management Legal aspects of IT Privacy & data protection Philosophy of science |
| Soggetto non controllato |
Open Access
Digital Humanism Research Ethics Legal Issues in Computer Scince Data Privacy Computers and Society |
| ISBN | 3-030-86144-9 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISA-996464546703316 |
Werthner Hannes
|
||
| Cham, : Springer International Publishing AG, 2021 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Perspectives on Digital Humanism
| Perspectives on Digital Humanism |
| Autore | Werthner Hannes |
| Edizione | [1st ed.] |
| Pubbl/distr/stampa | Cham, : Springer International Publishing AG, 2021 |
| Descrizione fisica | 1 online resource (330 p.) |
| Disciplina | 004.019 |
| Altri autori (Persone) |
PremErich
LeeEdward A GhezziCarlo |
| Collana | Computer Science Series |
| Soggetto topico |
Ethical & social aspects of IT
Ethics & moral philosophy Business & management Legal aspects of IT Privacy & data protection Philosophy of science Humanisme Intel·ligència artificial Aspectes morals Tecnologia i civilització Interacció persona-ordinador |
| Soggetto genere / forma | Llibres electrònics |
| Soggetto non controllato |
Open Acces
Digital Humanism Research Ethics Legal Issues in Computer Science Data Privacy Computers and Society |
| ISBN |
9783030861445
3030861449 |
| Classificazione | BUS042000COM060040COM079000LAW099000PHI005000SCI075000 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto |
Intro -- Preface -- Vienna Manifesto on Digital Humanism -- Authors -- Contents -- Part I: Artificial Intelligence, Humans, and Control -- Are We Losing Control? -- References -- Social Robots: Their History and What They Can Do for Us -- 1 History of Human Robotics -- 2 The Challenges of Becoming Social -- 3 Case Studies in an Insurance Company and in an Elderly Home -- 4 Ethical Issues of Social Robots -- Reference -- Artificial Intelligence and the Problem of Control -- 1 The Standard Model -- 2 Difficulties of the Standard Model -- 3 A New Model -- References -- The Challenge of Human Dignity in the Era of Autonomous Systems -- References -- Part II: Participation and Democracy -- The Real Cost of Surveillance Capitalism: Digital Humanism in the United States and Europe -- 1 Zuboff´s Argument -- 2 What the Metaphor of Surveillance Capitalism Obfuscates -- 3 Open vs. Closed Societies: Consider China -- 4 What Open Societies Need to Do to Remain So -- References -- Democratic Discourse in the Digital Public Sphere: Re-imagining Copyright Enforcement on Online Social Media Platforms -- References -- The Internet Is Dead: Long Live the Internet -- 1 Perils of an Ornithopter Approach -- 2 Data Ownership and the Need of a Digital Identity -- 3 Security -- 4 Disintermediation -- 5 The Rise of a New, Decentralized Web -- 6 Participatory Public and Private Governance -- References -- Return to Freedom: Governance of Fair Innovation Ecosystems -- 1 The Vienna Manifesto and Innovation -- 2 Innovation Ecosystems -- 3 Governance: Ecosystems That Are Fair -- 4 Governance and Conceptions of Freedom -- References -- Decolonizing Technology and Society: A Perspective from the Global South -- 1 Inclusion, Coloniality, and the Digital Society -- 2 Community-Oriented, Transdisciplinary Models and Inclusive Platforms as Alternative -- 3 Conclusion -- References.
Part III: Ethics and Philosophy of Technology -- Digital Humanism and the Limits of Artificial Intelligence -- I -- II -- III -- IV -- References -- Explorative Experiments and Digital Humanism: Adding an Epistemic Dimension to the Ethical Debate -- 1 Introduction -- 2 Experimental Method and Computing -- 3 A Different Notion of Experimentation: Explorative Experiments -- 4 From Epistemic Uncertainty to Ethical Incrementalism -- 5 Conclusion -- References -- Digital Humanism and Global Issues in Artificial Intelligence Ethics -- 1 Introduction -- 2 Artificial Intelligence Ethics and the Climate Crisis -- 3 Ethics and the Artificial Intelligence Arms Race -- 4 Concluding Remarks -- References -- Our Digital Mirror -- 1 The Example of Online Discourse -- 2 Scaffolding Discourse -- References -- Part IV: Information Technology and the Arts -- Fictionalizing the Robot and Artificial Intelligence -- References -- How to Be a Digital Humanist in International Relations: Cultural Tech Diplomacy Challenges Silicon Valley -- References -- We Are Needed More Than Ever: Cultural Heritage, Libraries, and Archives -- 1 Self/Education -- 2 Participatory Turn -- 3 Inclusive Collections -- 4 Remaining a Place for Personal Encounters -- 5 Conclusions -- References -- Humanism and the Great Opportunity of Intelligent User Interfaces for Cultural Heritage -- References -- Part V: Data, Algorithm, and Fairness -- The Attention Economy and the Impact of Artificial Intelligence -- 1 Introduction -- 2 The Attention Economy -- 3 The User-Machine Feedback Loop -- 3.1 Users and Personal Data -- 3.2 Algorithms -- 3.3 Digital Information Markets -- 4 Biases -- 4.1 Data -- 4.2 Algorithms -- 5 Societal Impact -- 6 Conclusions -- References -- Did You Find It on the Internet? Ethical Complexities of Search Engine Rankings -- 1 Introduction. 2 Value of and Value Within Search Engines -- 3 Ethical Importance of Search Engine Rankings -- 4 Do You See Female Professors? -- 5 The Process and the End Product -- 6 Conclusions -- References -- Personalization, Fairness, and Post-Userism -- 1 Introduction -- 2 De-centering the User -- 3 Conclusion -- References -- Part VI: Platform Power -- The Curation Chokepoint -- References -- Business Model Innovation and the Rise of Technology Giants -- 1 The Rise of Technology Giants -- 2 The Inverted Firm and the Spread of Platform Business Models -- 3 Demand for Regulation -- 4 Conclusions -- References -- Scaling Up Broken Systems? Considerations from the Area of Music Streaming -- 1 Introduction -- 2 A Brief History of Music Business -- 3 The Disruption of the Business -- 4 The Status Quo -- 5 And Beyond? -- References -- The Platform Economy After COVID-19: Regulation and the Precautionary Principle -- 1 Introduction -- 2 The Effects of the Pandemic -- 3 Regulation and the Precautionary Principle -- 4 Conclusions -- References -- Part VII: Education and Skills of the Future -- Educational Requirements for Positive Social Robotics -- References -- Informatics as a Fundamental Discipline in General Education: The Danish Perspective -- 1 Digital Humanism and General Informatics Education -- 2 Political Emphasis on Informatics Education for All -- 3 The Danish Informatics Curriculum for General Education -- 4 Digital Humanism in Informatics: The Danish Perspective -- 5 The Bipartite Nature of Informatics -- 6 Embracing Uncertainty: The Representational and the Interpretational Challenge -- 7 Conclusions -- References -- The Unbearable Disembodiedness of Cognitive Machines -- 1 The Three Revolutions -- 2 Cognitive Machines -- 3 A Broader Educational Horizon -- References -- Part VIII: Digital Geopolitics and Sovereignty. The Technological Construction of Sovereignty -- 1 Code Is Law -- Law Is Code -- 2 Social and Technological Construction of Reality -- 3 Technological Construction of Sovereignty -- 4 Conclusions -- References -- A Crucial Decade for European Digital Sovereignty -- References -- Geopolitics and Digital Sovereignty -- References -- Cultural Influences on Artificial Intelligence: Along the New Silk Road -- 1 Artificial Intelligence in China -- 2 Artificial Intelligence in Europe -- 3 Cultural Differences in Applying Artificial Intelligence Technology -- 4 Artificial Intelligence Talent: Mobility and Global Competition -- 5 Global Collaboration on Artificial Intelligence Research and Innovation -- References -- Geopolitics, Digital SovereigntyWhat´s in a Word? -- 1 The Context -- 1.1 The Paradox -- 1.2 It´s More Than the Economy, You Know -- 2 Europe, How Many Divisions? -- 2.1 A Pacific Centered *Digital* World Map -- 2.2 In the Platform Economy, Nobody Can Hear EU Scream -- 2.3 Digital Sovereignty, a New Concept to Operate and Compete in This Context -- 3 Words Matter: Especially When They Are Meant to Be Performative -- 3.1 Digital and Sovereignty, How Does This Add Up? -- 3.2 Political and Legal Considerations -- 4 Where Next? -- 4.1 Many Assets to Mobilize -- 4.2 Strategic Autonomy -- 4.3 Aim for the Moon -- References -- Part IX: Systems and Society -- Work Without Jobs -- References -- Why Don´t You Do Something to Help Me? Digital Humanism: A Call for Cities to Act -- Further Reading -- Ethics or Quality of Life? -- 1 Abundance and Fear Determine the Discussion -- 2 Development Requires Ethical Guidelines -- 3 Companies and Business Leaders Want to Satisfy Their Stakeholders -- 4 Investors Are Looking for Returns Through Sustainability -- 5 Do-Gooders Misuse the Ethics Discussion -- 6 Politics Follows the Need for Ethical Rules. 7 Ethics Wants Quality of Life for All -- 8 Ethics Needs Life Engineering -- References -- Responsible Technology Design: Conversations for Success -- References -- Navigating Through Changes of a Digital World -- 1 Trust as a Key Driver -- 2 Conclusions -- References -- Part X: Learning from Crisis -- Efficiency vs. Resilience: Lessons from COVID-19 -- References -- Contact Tracing Apps: A Lesson in Societal Aspects of Technological Development -- References -- Data, Models, and Decisions: How We Can Shape Our World by Not Predicting the Future -- References -- Lessons Learned from the COVID-19 Pandemic -- 1 Lesson 1: Increase Digitalization -- 2 Lesson 2: Speed Is More Important Than Money -- 3 Lesson 3: We Need to Find a New Balance Between Privacy and Public Good -- 4 Lesson 4: Interoperability Is Vital -- 5 Lesson 5: Half the Number of Words, Double the Quality of Communication -- 6 Lesson 6: Competences Are the Priority -- 7 Lesson 7: Digital Technologies and Infrastructures Are Key European Security Affairs -- The Need for Respectful Technologies: Going Beyond Privacy -- References -- Part XI: Realizing Digital Humanism -- Digital Humanism: Navigating the Tensions Ahead -- References -- Should We Rethink How We Do Research? -- 1 Introduction: Coping with Disruptive Changes -- 2 Effects on How We Do Research -- 3 Effects on Engagement with Society -- 4 Conclusions -- References -- Interdisciplinarity: Models and Values for Digital Humanism -- References -- It Is Simple, It Is Complicated -- References -- Correction to: Did You Find It on the Internet? Ethical Complexities of Search Engine Rankings -- Correction to: Chapter 19 in: H. Werthner et al. (eds.), Perspectives on Digital Humanism, https://doi.org/10.1007/978-3-030-8. |
| Record Nr. | UNINA-9910510537503321 |
|
Werthner Hannes
|
||
| Cham, : Springer International Publishing AG, 2021 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Proceedings of the 2010 Icse Workshop on Quantitative Stochastic Models in the Verification and Design of Software Systems
| Proceedings of the 2010 Icse Workshop on Quantitative Stochastic Models in the Verification and Design of Software Systems |
| Autore | Ghezzi Carlo |
| Pubbl/distr/stampa | [Place of publication not identified] : , : Association for Computing Machinery, , 2010 |
| Descrizione fisica | 1 online resource (50 pages) |
| Collana | ACM Conferences. |
| Soggetto topico | Information Technology - Computer Science (Hardware & Networks) |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Altri titoli varianti | QUOVADIS '10 |
| Record Nr. | UNINA-9910376068703321 |
|
Ghezzi Carlo
|
||
| [Place of publication not identified] : , : Association for Computing Machinery, , 2010 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Software Engineering for Self-Adaptive Systems III. Assurances [[electronic resource] ] : International Seminar, Dagstuhl Castle, Germany, December 15-19, 2013, Revised Selected and Invited Papers / / edited by Rogério de Lemos, David Garlan, Carlo Ghezzi, Holger Giese
| Software Engineering for Self-Adaptive Systems III. Assurances [[electronic resource] ] : International Seminar, Dagstuhl Castle, Germany, December 15-19, 2013, Revised Selected and Invited Papers / / edited by Rogério de Lemos, David Garlan, Carlo Ghezzi, Holger Giese |
| Edizione | [1st ed. 2017.] |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2017 |
| Descrizione fisica | 1 online resource (X, 435 p. 95 illus.) |
| Disciplina | 006.3 |
| Collana | Programming and Software Engineering |
| Soggetto topico |
Software engineering
Computer organization Artificial intelligence Algorithms Software Engineering Computer Systems Organization and Communication Networks Artificial Intelligence Algorithm Analysis and Problem Complexity |
| ISBN | 3-319-74183-7 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Research Challenges -- Evaluation -- Integration and Coordination -- Reference Architectures and Platforms. |
| Record Nr. | UNISA-996465482003316 |
| Cham : , : Springer International Publishing : , : Imprint : Springer, , 2017 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||