Laure Petrucci – författare

Visar alla böcker från författaren Laure Petrucci. Handla med fri frakt och snabb leverans.

16 produkter

Kategorier

16 produkter

Distibuted Systems
Design and Algorithms
AvLaure Petrucci,Laurent Pautetm. fl.
E-bok
Engelska, 2013
2 323 kr
Läs direkt efter köp
In today’s digital environment, distributed systems are increasingly present in a wide variety of environments, ranging from public software applications to critical systems. Distributed Systems introduces the underlying concepts, the associated design techniques and the related security issues. Distributed Systems: Design and Algorithms, is dedicated to engineers, students, and anyone familiar with algorithms and programming, who want to know more about distributed systems. These systems are characterized by: several components with one or more threads, possibly running on different processors; asynchronous communications with possible additional assumptions (reliability, order preserving, etc.); local views for every component and no shared data between components. This title presents distributed systems from a point of view dedicated to their design and their main principles: the main algorithms are described and placed in their application context, i.e. consistency management and the way they are used in distributed file-systems.
Distibuted Systems
Design and Algorithms
AvLaure Petrucci,Laurent Pautetm. fl.
E-bok
PDF, Engelska, 2013
2 347 kr
Läs direkt efter köp
In today’s digital environment, distributed systems are increasingly present in a wide variety of environments, ranging from public software applications to critical systems. Distributed Systems introduces the underlying concepts, the associated design techniques and the related security issues. Distributed Systems: Design and Algorithms, is dedicated to engineers, students, and anyone familiar with algorithms and programming, who want to know more about distributed systems. These systems are characterized by: several components with one or more threads, possibly running on different processors; asynchronous communications with possible additional assumptions (reliability, order preserving, etc.); local views for every component and no shared data between components. This title presents distributed systems from a point of view dedicated to their design and their main principles: the main algorithms are described and placed in their application context, i.e. consistency management and the way they are used in distributed file-systems.
Models and Analysis for Distributed Systems
AvLaure Petrucci,Laurent Pautetm. fl.
E-bok
Engelska, 2013
2 347 kr
Läs direkt efter köp
Nowadays, distributed systems are increasingly present, for public software applications as well as critical systems. software applications as well as critical systems. This title and Distributed Systems: Design and Algorithms – from the same editors – introduce the underlying concepts, the associated design techniques and the related security issues. The objective of this book is to describe the state of the art of the formal methods for the analysis of distributed systems. Numerous issues remain open and are the topics of major research projects. One current research trend consists of profoundly mixing the design, modeling, verification and implementation stages. This prototyping-based approach is centered around the concept of model refinement. This book is more specifically intended for readers that wish to gain an overview of the application of formal methods in the design of distributed systems. Master’s and PhD students, as well as engineers in industry, will find a global understanding of the techniques as well as references to the most up-to-date works in this area.
Models and Analysis for Distributed Systems
AvLaure Petrucci,Laurent Pautetm. fl.
E-bok
PDF, Engelska, 2013
2 347 kr
Läs direkt efter köp
Nowadays, distributed systems are increasingly present, for public software applications as well as critical systems. software applications as well as critical systems. This title and Distributed Systems: Design and Algorithms – from the same editors – introduce the underlying concepts, the associated design techniques and the related security issues. The objective of this book is to describe the state of the art of the formal methods for the analysis of distributed systems. Numerous issues remain open and are the topics of major research projects. One current research trend consists of profoundly mixing the design, modeling, verification and implementation stages. This prototyping-based approach is centered around the concept of model refinement. This book is more specifically intended for readers that wish to gain an overview of the application of formal methods in the design of distributed systems. Master’s and PhD students, as well as engineers in industry, will find a global understanding of the techniques as well as references to the most up-to-date works in this area.
Distibuted Systems
Design and Algorithms
AvSerge Haddad,Fabrice Kordonm. fl.
Inbunden, Engelska, 2011
2 061 kr
Skickas inom 11-20 vardagar
In today's digital environment, distributed systems are increasingly present in a wide variety of environments, ranging from public software applications to critical systems.Distributed Systems introduces the underlying concepts, the associated design techniques and the related security issues.Distributed Systems: Design and Algorithms, is dedicated to engineers, students, and anyone familiar with algorithms and programming, who want to know more about distributed systems.These systems are characterized by: several components with one or more threads, possibly running on different processors; asynchronous communications with possible additional assumptions (reliability, order preserving, etc.); local views for every component and no shared data between components. This title presents distributed systems from a point of view dedicated to their design and their main principles: the main algorithms are described and placed in their application context, i.e. consistency management and the way they are used in distributed file-systems.
Models and Analysis for Distributed Systems
AvSerge Haddad,Fabrice Kordonm. fl.
Inbunden, Engelska, 2011
1 949 kr
Skickas inom 5-8 vardagar
Nowadays, distributed systems are increasingly present, for public software applications as well as critical systems. software applications as well as critical systems. This title and Distributed Systems: Design and Algorithms – from the same editors – introduce the underlying concepts, the associated design techniques and the related security issues.The objective of this book is to describe the state of the art of the formal methods for the analysis of distributed systems. Numerous issues remain open and are the topics of major research projects. One current research trend consists of profoundly mixing the design, modeling, verification and implementation stages. This prototyping-based approach is centered around the concept of model refinement.This book is more specifically intended for readers that wish to gain an overview of the application of formal methods in the design of distributed systems. Master’s and PhD students, as well as engineers in industry, will find a global understanding of the techniques as well as references to the most up-to-date works in this area.
Del 13288 - Lecture Notes in Computer Science
Application and Theory of Petri Nets and Concurrency
43rd International Conference, PETRI NETS 2022, Bergen, Norway, June 19–24, 2022, Proceedings
AvLuca Bernardinello,Laure Petrucci
Häftad, Engelska, 2022
862 kr
Skickas inom 10-15 vardagar
This book constitutes the proceedings of the 43rd International Conference on Application and Theory of Petri Nets and Concurrency, PETRI NETS 2022, which was held virtually in June 2021.The 19 full papers presented in this volume were carefully reviewed and selected from 35 submissions. The papers are categorized into the following topical sub-headings: application of concurrency to system design; timed models; tools; applications; synthesis; petri nets architecture; and process mining.
Application and Theory of Petri Nets and Concurrency
43rd International Conference, PETRI NETS 2022, Bergen, Norway, June 19–24, 2022, Proceedings
AvLaure Petrucci,Luca Bernardinello
E-bok
Engelska, 2022
1 056 kr
Läs direkt efter köp
This book constitutes the proceedings of the 43rd International Conference on Application and Theory of Petri Nets and Concurrency, PETRI NETS 2022, which was held virtually in June 2021.
The 19 full papers presented in this volume were carefully reviewed and selected from 35 submissions. The papers are categorized into the following topical sub-headings: application of concurrency to system design; timed models; tools; applications; synthesis; petri nets architecture; and process mining.
Del 14138 - Lecture Notes in Computer Science
Formal Modeling and Analysis of Timed Systems
21st International Conference, FORMATS 2023, Antwerp, Belgium, September 19–21, 2023, Proceedings
AvLaure Petrucci,Jeremy Sproston
Häftad, Engelska, 2023
634 kr
Skickas inom 10-15 vardagar
This book constitutes the refereed proceedings of the 21st International Conference on Formal Modeling and Analysis of Timed Systems, FORMATS 2023, held in Antwerp, Belgium, in September 2023. The 9 full papers presented in this book were carefully reviewed and selected from 21 submissions. The proceedings also contain one invited paper in full paper length. The papers deal with real-time issues in hardware design, performance analysis, real-time software, scheduling, semantics, and verification of real-timed, hybrid, and probabilistic systems.
Formal Modeling and Analysis of Timed Systems
21st International Conference, FORMATS 2023, Antwerp, Belgium, September 19–21, 2023, Proceedings
AvJeremy Sproston,Laure Petrucci
E-bok
Engelska, 2023
815 kr
Läs direkt efter köp
This book constitutes the refereed proceedings of the 21st International Conference on Formal Modeling and Analysis of Timed Systems, FORMATS 2023, held in Antwerp, Belgium, in September 2023. The 9 full papers presented in this book were carefully reviewed and selected from 21 submissions. The proceedings also contain one invited paper in full paper length. The papers deal with real-time issues in hardware design, performance analysis, real-time software, scheduling, semantics, and verification of real-timed, hybrid, and probabilistic systems.
Del 10471 - Lecture Notes in Computer Science
Critical Systems: Formal Methods and Automated Verification
Joint 22nd International Workshop on Formal Methods for Industrial Critical Systems and 17th International Workshop on Automated Verification of Critical Systems, FMICS-AVoCS 2017, Turin, Italy, September 18–20, 2017, Proceedings
AvLaure Petrucci,Cristina Seceleanum. fl.
Häftad, Engelska, 2017
577 kr
Skickas inom 10-15 vardagar
This book constitutes the refereed proceedings of the Joint 22nd International Workshop on Formal Methods for Industrial Critical Systems and the 17th International Workshop on Automated Verification of Critical Systems, FMICS-AVoCS 2017, held in Turin, Italy, in September 2017.The 14 full papers presented together with one invited talk were carefully reviewed and selected from 30 submissions. They are organized in the following sections: Automated verification techniques; Testing and scheduling; Formal Methods for mobile and autonomous robots; and Modeling and analysis techniques.
Critical Systems: Formal Methods and Automated Verification
Joint 22nd International Workshop on Formal Methods for Industrial Critical Systems and 17th International Workshop on Automated Verification of Critical Systems, FMICS-AVoCS 2017, Turin, Italy, September 18–20, 2017, Proceedings
AvAna Cavalcanti,Cristina Seceleanum. fl.
E-bok
Engelska, 2017
739 kr
Läs direkt efter köp
This book constitutes the refereed proceedings of the Joint 22nd International Workshop on Formal Methods for Industrial Critical Systems and the 17th International Workshop on Automated Verification of Critical Systems, FMICS-AVoCS 2017, held in Turin, Italy, in September 2017.

The 14 full papers presented together with one invited talk were carefully reviewed and selected from 30 submissions. They are organized in the following sections: Automated verification techniques; Testing and scheduling; Formal Methods for mobile and autonomous robots; and Modeling and analysis techniques.
Application and Theory of Petri Nets
32nd International Conference, PETRI NETS 2011, Newcastle, UK, June 20-24, 2011, Proceedings
AvLars M. Kristensen,Laure Petrucci
Häftad, Engelska, 2011
577 kr
Skickas inom 10-15 vardagar
This book constitutes the refereed proceedings of the 32nd International Conference on Applications and Theory of Petri Nets and Other Models of Concurrency, PETRI NETS 2011, held in Newcastle, UK, in June 2011. The 13 regular papers and 4 tool papers presented were carefully reviewed and selected from 49 submissions. The book also contains 3 full paper length invited talks. All current issues on research and development in the area of Petri nets and related models of concurrent systems are addressed.
Application and Theory of Petri Nets
32nd International Conference, PETRI NETS 2011, Newcastle, UK, June 20-24, 2011, Proceedings
AvLaure Petrucci,Lars M. Kristensen
E-bok
PDF, Engelska, 2011
739 kr
Läs direkt efter köp
This book constitutes the refereed proceedings of the 32nd International Conference on Applications and Theory of Petri Nets and Other Models of Concurrency, PETRI NETS 2011, held in Newcastle, UK, in June 2011. The 13 regular papers and 4 tool papers presented were carefully reviewed and selected from 49 submissions. The book also contains 3 full paper length invited talks. All current issues on research and development in the area of Petri nets and related models of concurrent systems are addressed.
Nyhet
Transactions on Petri Nets and Other Models of Concurrency XVIII
AvFabrice Kordon,Laure Petruccim. fl.
Häftad, Engelska, 2026
862 kr
Skickas inom 10-15 vardagar
The 18th volume of ToPNoC contains revised and extended contributions based on the lectures delivered during the 6th Advanced Course on Petri Nets, ACPN 2023. The 7 lectures and 4 practical papers address topics such as modelling distributed systems; Petri Net essentials; semantics of concurrent systems; a method for synthesising Petri net models from given transition systems; the Reachability Problem in Petri nets; model checking timed and strategic properties; analysis and synthesis of subclasses of Petri nets; design decisions in process discovery; extracting event logs; application of coloured Petri nets for modelling software architecture; and Petri net model checking.
Transactions on Petri Nets and Other Models of Concurrency XVIII
AvLukasz Mikulski,Maciej Koutnym. fl.
E-bok
Engelska, 2026
1 067 kr
Läs direkt efter köp
The 18th volume of ToPNoC contains revised and extended contributions based on the lectures delivered during the 6th Advanced Course on Petri Nets, ACPN 2023. The 7 lectures and 4 practical papers address topics such as modelling distributed systems; Petri Net essentials; semantics of concurrent systems; a method for synthesising Petri net models from given transition systems; the Reachability Problem in Petri nets; model checking timed and strategic properties; analysis and synthesis of subclasses of Petri nets; design decisions in process discovery; extracting event logs; application of coloured Petri nets for modelling software architecture; and Petri net model checking.

Företag, bibliotek eller offentlig verksamhet?

Laure Petrucci – författare

Distibuted Systems

Distibuted Systems

Models and Analysis for Distributed Systems

Models and Analysis for Distributed Systems

Distibuted Systems

Models and Analysis for Distributed Systems

Application and Theory of Petri Nets and Concurrency

Application and Theory of Petri Nets and Concurrency

Formal Modeling and Analysis of Timed Systems

Formal Modeling and Analysis of Timed Systems

Critical Systems: Formal Methods and Automated Verification

Critical Systems: Formal Methods and Automated Verification

Application and Theory of Petri Nets

Application and Theory of Petri Nets

Transactions on Petri Nets and Other Models of Concurrency XVIII

Transactions on Petri Nets and Other Models of Concurrency XVIII

Mina sidor

Mina sidor

Hjälp

Hjälp

Om Bokus

Om Bokus

Populärt

Populärt

Inspiration

Inspiration