Alexander Romanovsky – författare
Visar alla böcker från författaren Alexander Romanovsky. Handla med fri frakt och snabb leverans.
52 produkter
Trustworthy Cyber-Physical Systems Engineering
Av Alexander Romanovsky, Fuyuki Ishikawa
Häftad, 2020
735 kr
Lägg i varukorg
From the Foreword"Getting CPS dependability right is essential to forming a solid foundation for a world that increasingly depends on such systems. This book represents the cutting edge of what we know about rigorous ways to ensure that our CPS designs are trustworthy. I recommend it to anyone who …
Trustworthy Cyber-Physical Systems Engineering
Av Fuyuki Ishikawa, Alexander Romanovsky
E-bok, 2016
866 kr
Lägg i varukorg
From the Foreword "Getting CPS dependability right is essential to forming a solid foundation for a world that increasingly depends on such systems. This book represents the cutting edge of what we know about rigorous ways to ensure that our CPS designs are trustworthy. I recommend it to anyone who …
Concurrency in Dependable Computing
Av Paul Ezhilchelvan, Alexander Romanovsky
Inbunden, 2002
1687 kr
Lägg i varukorg
This text focuses on concurrency related issues in the area of dependable computing. Failures of system components, whether hardware units or software modules, can be viewed as undesirable events occurring concurrently with a set of normal system events. Achieving dependability therefore is closely …
Concurrency in Dependable Computing
Av Paul Ezhilchelvan, Alexander Romanovsky
Häftad, 2010
1687 kr
Lägg i varukorg
Concurrency in Dependable Computing focuses on concurrency related issues in the area of dependable computing. Failures of system components, be hardware units or software modules, can be viewed as undesirable events occurring concurrently with a set of normal system events. Achieving dependability …
Concurrency in Dependable Computing
Av Alexander Romanovsky, Paul Ezhilchelvan
E-bok, 2013
2174 kr
Lägg i varukorg
Concurrency in Dependable Computing focuses on concurrency related issues in the area of dependable computing. Failures of system components, be hardware units or software modules, can be viewed as undesirable events occurring concurrently with a set of normal system events. Achieving dependability …
Trustworthy Cyber-Physical Systems Engineering
Av Fuyuki Ishikawa, Alexander Romanovsky
E-bok, 2016
866 kr
Lägg i varukorg
From the Foreword "Getting CPS dependability right is essential to forming a solid foundation for a world that increasingly depends on such systems. This book represents the cutting edge of what we know about rigorous ways to ensure that our CPS designs are trustworthy. I recommend it to anyone who …
Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification
Third International Conference, RSSRail 2019, Lille, France, June 4–6, 2019, Proceedings
Av Simon Collart-Dutilleul, Thierry Lecomte m. fl.
Häftad, 2019
657 kr
Lägg i varukorg
This book constitutes the refereed proceedings of the Third International Conference on Reliability, Safety, and Security of Railway Systems, RSSRail 2019, held in Lille, France in June 2019. The 18 full papers presented in this book were carefully reviewed and selected from 38 submissions. They …
Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification
Third International Conference, RSSRail 2019, Lille, France, June 4–6, 2019, Proceedings
Av Alexander Romanovsky, Thierry Lecomte m. fl.
E-bok, 2019
839 kr
Lägg i varukorg
This book constitutes the refereed proceedings of the Third International Conference on Reliability, Safety, and Security of Railway Systems, RSSRail 2019, held in Lille, France in June 2019. The 18 full papers presented in this book were carefully reviewed and selected from 38 submissions. They …
Computer Safety, Reliability, and Security
SAFECOMP 2019 Workshops, ASSURE, DECSoS, SASSUR, STRIVE, and WAISE, Turku, Finland, September 10, 2019, Proceedings
Av Alexander Romanovsky, Elena Troubitsyna m. fl.
Häftad, 2019
746 kr
Lägg i varukorg
This book constitutes the proceedings of the Workshops held in conjunction with SAFECOMP 2019, 38th International Conference on Computer Safety, Reliability and Security, in September 2019 in Turku, Finland. The 32 regular papers included in this volume were carefully reviewed and selected from 43 …
Computer Safety, Reliability, and Security
SAFECOMP 2019 Workshops, ASSURE, DECSoS, SASSUR, STRIVE, and WAISE, Turku, Finland, September 10, 2019, Proceedings
Av Friedemann Bitsch, Erwin Schoitsch m. fl.
E-bok, 2019
1007 kr
Lägg i varukorg
This book constitutes the proceedings of the Workshops held in conjunction with SAFECOMP 2019, 38th International Conference on Computer Safety, Reliability and Security, in September 2019 in Turku, Finland. The 32 regular papers included in this volume were carefully reviewed and selected from 43 …
Computer Safety, Reliability, and Security
38th International Conference, SAFECOMP 2019, Turku, Finland, September 11–13, 2019, Proceedings
Av Alexander Romanovsky, Elena Troubitsyna m. fl.
Häftad, 2019
657 kr
Lägg i varukorg
This book constitutes the proceedings of the 38th International Conference on Computer Safety, Reliability and Security, SAFECOMP 2019, held in Turku, Finland, in September 2019.The 16 full and 5 short papers included in this volume were carefully reviewed and selected from 65 submissions. They …
Computer Safety, Reliability, and Security
38th International Conference, SAFECOMP 2019, Turku, Finland, September 11–13, 2019, Proceedings
Av Friedemann Bitsch, Elena Troubitsyna m. fl.
E-bok, 2019
839 kr
Lägg i varukorg
This book constitutes the proceedings of the 38th International Conference on Computer Safety, Reliability and Security, SAFECOMP 2019, held in Turku, Finland, in September 2019. The 16 full and 5 short papers included in this volume were carefully reviewed and selected from 65 submissions. They …
Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification
First International Conference, RSSRail 2016, Paris, France, June 28-30, 2016, Proceedings
Av Thierry Lecomte, Ralf Pinger m. fl.
Häftad, 2016
569 kr
Lägg i varukorg
This book constitutes the refereed proceedings of the FirstInternational Conference on Reliability, Safety, and Security of RailwaySystems, RSSRail 2016, held in Paris, France, in June 2016.The 15 revised full papers presented were carefully reviewed andselected from 36 initial submissions. The …
Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification
First International Conference, RSSRail 2016, Paris, France, June 28-30, 2016, Proceedings
Av Alexander Romanovsky, Ralf Pinger m. fl.
E-bok, 2016
755 kr
Lägg i varukorg
This book constitutes the refereed proceedings of the First International Conference on Reliability, Safety, and Security of Railway Systems, RSSRail 2016, held in Paris, France, in June 2016. The 15 revised full papers presented were carefully reviewed and selected from 36 initial submissions. The …
Software Engineering for Resilient Systems
9th International Workshop, SERENE 2017, Geneva, Switzerland, September 4–5, 2017, Proceedings
Av Alexander Romanovsky, Elena A. Troubitsyna
Häftad, 2017
569 kr
Lägg i varukorg
This book constitutes the refereed proceedings of the International Workshop on Software Engineering for Resilient Systems, SERENE 2017, held in Geneva; Switzerland, in September 2017. The 11 papers presented together with 2 invited talks were carefully reviewed and selected from 16 submissions. …
Software Engineering for Resilient Systems
9th International Workshop, SERENE 2017, Geneva, Switzerland, September 4–5, 2017, Proceedings
Av Elena A. Troubitsyna, Alexander Romanovsky
E-bok, 2017
755 kr
Lägg i varukorg
This book constitutes the refereed proceedings of the International Workshop on Software Engineering for Resilient Systems, SERENE 2017, held in Geneva; Switzerland, in September 2017. The 11 papers presented together with 2 invited talks were carefully reviewed and selected from 16 submissions. …
Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification
Second International Conference, RSSRail 2017, Pistoia, Italy, November 14-16, 2017, Proceedings
Av Alessandro Fantechi, Thierry Lecomte m. fl.
Häftad, 2017
552 kr
Lägg i varukorg
This volume constitutes the proceedings of the Second International Conference on Reliability, Safety and Security of Railway Systems, RRSRail 2017, held in Pistoia, Italy, in November 2017. The 16 papers presented in this volume were carefully reviewed and selected from 34 submissions. They are …
Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification
Second International Conference, RSSRail 2017, Pistoia, Italy, November 14-16, 2017, Proceedings
Av Alexander Romanovsky, Thierry Lecomte m. fl.
E-bok, 2017
755 kr
Lägg i varukorg
This volume constitutes the proceedings of the Second International Conference on Reliability, Safety and Security of Railway Systems, RRSRail 2017, held in Pistoia, Italy, in November 2017. The 16 papers presented in this volume were carefully reviewed and selected from 34 submissions. They are …
Software Engineering for Multi-Agent Systems II
Research Issues and Practical Applications
Av Carlos Lucena, Alessandro Garcia m. fl.
Häftad, 2004
569 kr
Lägg i varukorg
Advances in networking technology have revitalized the investigation of agent technologyasapromisingparadigmforengineeringcomplexdistributedsoftware systems. Agent technology has been applied to a wide range of application - mains, including e-commerce, human-computer interfaces, …
Architecting Dependable Systems II
Av Rogério de Lemos, Cristina Gacek m. fl.
Häftad, 2004
569 kr
Lägg i varukorg
As software systems become ubiquitous, the issues of dependability become more and more critical. Given that solutions to these issues must be taken into account from the very beginning of the design process, it is appropriate that dependability is addressed at the architectural level. This book …
Software Engineering for Multi-Agent Systems II
Research Issues and Practical Applications
Av Paulo S.C. Alencar, Jaelson Castro m. fl.
E-bok, 2004
755 kr
Lägg i varukorg
Advances in networking technology have revitalized the investigation of agent technologyasapromisingparadigmforengineeringcomplexdistributedsoftware systems. Agent technology has been applied to a wide range of application - mains, including e-commerce, human-computer interfaces, …
Software Engineering for Multi-Agent Systems III
Research Issues and Practical Applications
Av Ricardo Choren, Alessandro Garcia m. fl.
Häftad, 2005
569 kr
Lägg i varukorg
This book presents a coherent and well-balanced survey of recent advances in software engineering approaches to the design and analysis of realistic large-scale multi-agent systems (MAS). The chapters included are devoted to various techniques and methods used to cope with the complexity of …
Scientific Engineering of Distributed Java Applications
4th International Workshop, FIDJI 2004, Luxembourg-Kirchberg, Luxembourg, November 24-25, 2004, Revised Selected Papers
Av Nicolas Guelfi, Gianna Reggio m. fl.
Häftad, 2005
569 kr
Lägg i varukorg
FIDJI 2004 was an international forum for researchers and practitioners int- estedinthe advancesin,andapplicationsof,softwareengineeringfordistributed application development. Concerning the technologies, the workshop focused on “Java-related” technologies. It was an opportunity to present and …
Architecting Dependable Systems II
Av Alexander Romanovsky, Cristina Gacek m. fl.
E-bok, 2004
732 kr
Lägg i varukorg
As software systems become ubiquitous, the issues of dependability become more and more critical. Given that solutions to these issues must be taken into account from the very beginning of the design process, it is appropriate that dependability is addressed at the architectural level. This book …
Architecting Dependable Systems III
Av Rogério de Lemos, Cristina Gacek m. fl.
Häftad, 2005
569 kr
Lägg i varukorg
As software systems become ubiquitous, the issues of dependability become more and more crucial. Given that solutions to these issues must be considered from the very beginning of the design process, it is reasonable that dependability is addressed at the architectural level. This book comes as a …
Architecting Dependable Systems III
Av Alexander Romanovsky, Cristina Gacek m. fl.
E-bok, 2005
755 kr
Lägg i varukorg
As software systems become ubiquitous, the issues of dependability become more and more crucial. Given that solutions to these issues must be considered from the very beginning of the design process, it is reasonable that dependability is addressed at the architectural level. This book comes as a …
Software Engineering for Multi-Agent Systems III
Research Issues and Practical Applications
Av Alexander Romanovsky, Carlos Lucena m. fl.
E-bok, 2011
755 kr
Lägg i varukorg
This book presents a coherent and well-balanced survey of recent advances in software engineering approaches to the design and analysis of realistic large-scale multi-agent systems (MAS). The chapters included are devoted to various techniques and methods used to cope with the complexity of …
Scientific Engineering of Distributed Java Applications
4th International Workshop, FIDJI 2004, Luxembourg-Kirchberg, Luxembourg, November 24-25, 2004, Revised Selected Papers
Av Alexander Romanovsky, Gianna Reggio m. fl.
E-bok, 2008
755 kr
Lägg i varukorg
FIDJI 2004 was an international forum for researchers and practitioners int- estedinthe advancesin,andapplicationsof,softwareengineeringfordistributed application development. Concerning the technologies, the workshop focused on “Java-related” technologies. It was an opportunity to present and …
Software Engineering for Multi-Agent Systems IV
Research Issues and Practical Applications
Av Alessandro Garcia, Ricardo Choren m. fl.
Häftad, 2006
569 kr
Lägg i varukorg
With the integration of computing and communication into the very fabric of our social, economic, and personal existence, the manner in which we think about and build software has become the subject of intense intellectual, scienti?c, and engineering reexamination. New computing paradigms have been …
Software Engineering for Multi-Agent Systems IV
Research Issues and Practical Applications
Av Alexander Romanovsky, Tom Holvoet m. fl.
E-bok, 2006
739 kr
Lägg i varukorg
With the integration of computing and communication into the very fabric of our social, economic, and personal existence, the manner in which we think about and build software has become the subject of intense intellectual, scienti?c, and engineering reexamination. New computing paradigms have been …
