Antónia Lopes – författare & böcker

Del 13908 - Lecture Notes in Computer Science

Coordination Models and Languages

25th IFIP WG 6.1 International Conference, COORDINATION 2023, Held as Part of the 18th International Federated Conference on Distributed Computing Techniques, DisCoTec 2023, Lisbon, Portugal, June 19–23, 2023, Proceedings

AvSung-Shik Jongmans,Antónia Lopes

Häftad, Engelska, 2023

782 kr

Skickas inom 10-15 vardagar

This book constitutes the refereed proceedings of the 25th IFIP WG 6.1 International Conference on Coordination Models and Language, COORDINATION 2023, held in Lisbon, Portugal, in June 2023, as part of the 18th International Federated Conference on Distributed Computing Techniques, DisCoTec 2023.The 12 regular papers and 2 short paper presented in this book were carefully reviewed and selected from 27 submissions.The papers deal with the following topics: Collective Adaptive Systems and Aggregate Computing; Cyber-Physical Systems; Verification and Testing; Languages and Processes; and Run-Time Changes.

Coordination Models and Languages

25th IFIP WG 6.1 International Conference, COORDINATION 2023, Held as Part of the 18th International Federated Conference on Distributed Computing Techniques, DisCoTec 2023, Lisbon, Portugal, June 19–23, 2023, Proceedings

AvAntonia Lopes,Sung-Shik Jongmans

E-bok

Engelska, 2023

944 kr

Läs direkt efter köp

This book constitutes the refereed proceedings of the 25th IFIP WG 6.1 International Conference on Coordination Models and Language, COORDINATION 2023, held in Lisbon, Portugal, in June 2023, as part of the 18th International Federated Conference on Distributed Computing Techniques, DisCoTec 2023. The 12 regular papers and 2 short paper presented in this book were carefully reviewed and selected from 27 submissions.The papers deal with the following topics: Collective Adaptive Systems and Aggregate Computing; Cyber-Physical Systems; Verification and Testing; Languages and Processes; and Run-Time Changes.

Sung-Shik Jongmans, Antónia Lopes - Coordination Models and Languages : 25th IFIP WG 6.1 International Conference, COORDINATION 2023, Held as Part of the 18th International Federated Con, Övrigt

Coordination Models and Languages : 25th IFIP WG 6.1 International Conference, COORDINATION 2023, Held as Part of the 18th International Federated Con

AvSung-Shik Jongmans,Antónia Lopes

Engelska, 2023

644 kr

Skickas inom 5-8 vardagar

Del 10475 - Lecture Notes in Computer Science

Software Architecture

11th European Conference, ECSA 2017, Canterbury, UK, September 11-15, 2017, Proceedings

AvAntónia Lopes,Rogério de Lemos

Häftad, Engelska, 2017

561 kr

Skickas inom 10-15 vardagar

This book constitutes the proceedings of the 11th European Conference on Software Architecture, ECSA 2017, held in Canterbury, UK, in September 2017. The 9 full papers presented together with 12 short papers and one keynote talk were carefully reviewed and selected from 54 submissions.

Software Architecture

11th European Conference, ECSA 2017, Canterbury, UK, September 11-15, 2017, Proceedings

AvRogerio de Lemos,Antonia Lopes

E-bok

Engelska, 2017

708 kr

Läs direkt efter köp

This book constitutes the proceedings of the 11th European Conference on Software Architecture, ECSA 2017, held in Canterbury, UK, in September 2017.

The 9 full papers presented together with 12 short papers and one keynote talk were carefully reviewed and selected from 54 submissions. They are organized in topical sections on Software Architecture Analysis and Verification; Software Architecture Evolution; Automatic Generation; Architectural Decisions; Software Architecture Practice.

Fundamental Approaches to Software Engineering

10th International Conference, FASE 2007 Held as Part of the Joint European Conference on Theory and Practice of Software, ETAPS 2007 Braga, Portugal, March 24 - April 1, 2007 Proceedings

AvMatthew B. Dwyer,Antonia Lopes

Häftad, Engelska, 2007

561 kr

Skickas inom 10-15 vardagar

This book constitutes the refereed proceedings of the 10th International Conference on Fundamental Approaches to Software Engineering, FASE 2007, held in Braga, Portugal in March/April 2007 as part of ETAPS 2007, the Joint European Conferences on Theory and Practice of Software. It covers evolution and agents, model driven development, tool demonstrations, distributed systems, specification, services, testing, analysis, and design.

Fundamental Approaches to Software Engineering

10th International Conference, FASE 2007 Held as Part of the Joint European Conference on Theory and Practice of Software, ETAPS 2007 Braga, Portugal, March 24 - April 1, 2007 Proceedings

AvAntonia Lopes,Matthew B. Dwyer

E-bok

PDF, Engelska, 2007

708 kr

Läs direkt efter köp

Formal Techniques for Distributed Systems

Joint 11th IFIP WG 6.1 International Conference FMOODS 2009 and 29th IFIP WG 6.1 International Conference FORTE 2009, Lisboa, Portugal, June 9-12, 2009, Proceedings

AvDavid Lee,Antonia Lopesm. fl.

Häftad, Engelska, 2009

561 kr

Skickas inom 10-15 vardagar

This book constitutes the refereed proceedings of the 11th IFIP WG 6.1 International Conference on Formal Methods for Open Object-Based Distributed Systems, FMOODS 2009, and 29th IFIP WG 6.1 Formal Techniques for Networked and Distributed Systems, FORTE 2009, held in Lisboa, Portugal, in June 2009. The 12 revised full papers presented together with 6 short papers were carefully reviewed and selected from 42 submissions. The papers cover topics such as formal verification, algorithms and implementations, modeling and testing, process algebra and calculus as well as analysis of distributed systems.

Formal Techniques for Distributed Systems

Joint 11th IFIP WG 6.1 International Conference FMOODS 2009 and 29th IFIP WG 6.1 International Conference FORTE 2009, Lisboa, Portugal, June 9-12, 2009, Proceedings

AvArnd Poetzsch-Heffter,Antonia Lopesm. fl.

E-bok

PDF, Engelska, 2009

708 kr

Läs direkt efter köp

This book constitutes the refereed proceedings of the 11th IFIP WG 6.1 International Conference on Formal Methods for Open Object-Based Distributed Systems, FMOODS 2009, and 29th IFIP WG 6.1 Formal Techniques for Networked and Distributed Systems, FORTE 2009, held in Lisboa, Portugal, in June 2009. The 12 revised full papers presented together with 6 short papers were carefully reviewed and selected from 42 submissions. The papers cover topics such as formal verification, algorithms and implementations, modeling and testing, process algebra and calculus as well as analysis of distributed systems.

Assurances for Self-Adaptive Systems

Principles, Models, and Techniques

AvJavier Cámara,Rogério de Lemosm. fl.

Häftad, Engelska, 2013

561 kr

Skickas inom 10-15 vardagar

The increasing complexity of systems and the growing uncertainty in their operational environments have created a critical need to develop systems able to improve their operation, adapt to change, and recover from failures autonomously.

Assurances for Self-Adaptive Systems

Principles, Models, and Techniques

AvAntonia Lopes,Carlo Ghezzim. fl.

E-bok

PDF, Engelska, 2013

708 kr

Läs direkt efter köp

The increasing complexity of systems and the growing uncertainty in their operational environments have created a critical need to develop systems able to improve their operation, adapt to change, and recover from failures autonomously. This situation has led to recent advances in self-adaptive systems able to reconfigure their structure and modify their behavior at run-time to adapt to environmental changes. Despite these advances, one key aspect of self-adaptive systems that remains to be tackled in depth is "assurances": the provision of evidence that the system satisfies its stated functional and non-functional requirements during its operation in the presence of self-adaptation. This book is one of the outcomes of the ESEC/FSE 2011 Workshop on Assurances for Self-Adaptive Systems (ASAS), held in Szeged, Hungary, in September 2011. It contains extended versions of some of the papers presented during the workshop, as well as invited papers from recognized experts. The 12 refereed papers were thoroughly reviewed and selected. The book consists of four parts: formal verification, models and middleware, failure prediction, and assurance techniques.

Företag, bibliotek eller offentlig verksamhet?

Antónia Lopes – författare

Coordination Models and Languages

Coordination Models and Languages

Coordination Models and Languages : 25th IFIP WG 6.1 International Conference, COORDINATION 2023, Held as Part of the 18th International Federated Con

Software Architecture

Software Architecture

Fundamental Approaches to Software Engineering

Fundamental Approaches to Software Engineering

Formal Techniques for Distributed Systems

Formal Techniques for Distributed Systems

Assurances for Self-Adaptive Systems

Assurances for Self-Adaptive Systems

Mina sidor

Mina sidor

Hjälp

Hjälp

Om Bokus

Om Bokus

Populärt

Populärt

Inspiration

Inspiration