Antónia Lopes – författare

Visar alla böcker från författaren Antónia Lopes. Handla med fri frakt och snabb leverans.

11 produkter

Kategorier

11 produkter

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
791 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
978 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.
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
665 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
566 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. They are organized in topical sections on Software Architecture Analysis and Verification; Software Architecture Evolution; Automatic Generation; Architectural Decisions; Software Architecture Practice.
Software Architecture
11th European Conference, ECSA 2017, Canterbury, UK, September 11-15, 2017, Proceedings
AvRogerio de Lemos,Antonia Lopes
E-bok
Engelska, 2017
732 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
566 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
732 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
566 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
732 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
566 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. 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.
Assurances for Self-Adaptive Systems
Principles, Models, and Techniques
AvAntonia Lopes,Carlo Ghezzim. fl.
E-bok
PDF, Engelska, 2013
732 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