Fundamental Approaches to Software Engineering 24th International Conference, FASE 2021, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2021, Luxembourg City, Luxembourg, March 27 – April 1, 2021, Proceedings
This book constitutes the proceedings of the 24th International Conference on Fundamental Approaches to Software Engineering, ...
Continue readingFundamental Approaches to Software Engineering : 25th International Conference, FASE 2022, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022, Munich, Germany, April 2–7, 2022, Proceedings
The papers deal with the foundations on which software engineering is built, including topics like software engineering as ...
Continue reading
Hardware and Software, Verification and Testing
The First Haifa Verification Conference was held at the IBM Haifa Research Lab and at the Haifa University in Israel from ...
Continue reading
High Performance Computing - HiPC 2006
Coverage in this volume includes scheduling and load balancing, network and distributed algorithms, application software, ...
Continue reading
High Performance Computing – HiPC 2005
Contains the refereed proceedings of the 12th International Conference on High-Performance Computing. Beginning with the ...
Continue reading
High Performance Embedded Architectures and Compilers
This book constitutes the refereed proceedings of the Second International Conference on High Performance Embedded Architectures ...
Continue reading
High Performance Embedded Architectures and Compilers
The ProgramCommittee received a total of 84 submissions; only 17 were selected for presentation as full-length papers and ...
Continue reading
High Performance Embedded Architectures and Compilers : Third International Conference, HiPEAC 2008, Göteborg, Sweden, January 27-29, 2008. Proceedings
This book constitutes the refereed proceedings of the Third International Conference on High Performance Embedded Architectures ...
Continue reading
High-Performance Energy-Efficient Microprocessor Design
High Performance Energy Efficient Microprocessor Design is intended to be a useful companion book for every design engineer ...
Continue reading
Hybrid Systems: Computation and Control (vol. # 3414)
This volume contains the proceedings of the 8th Workshop on Hybrid S- tems: Computation and Control(HSCC2005)heldinZurich, ...
Continue reading
Hybrid Systems: Computation and Control (vol. # 3927)
These are the proceedings of the 9th International Workshop on Hybrid Systems: Computation and Control, HSCC 2006, March ...
Continue readingInnovations and Advanced Techniques in Computer and Information Sciences and Engineering
Innovations and Advanced Techniques in Computer and Information Sciences and Engineering is a collection of world class paper ...
Continue reading
Integrated Formal Methods
This book constitutes the refereed proceedings of the 5th International Conference on Integrated Formal Methods, IFM 2005, ...
Continue reading
Leveraging Applications of Formal Methods, Verification and Validation: Applications : 9th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2020, Rhodes, Greece, October 20–30, 2020, Proceedings, Part III
The three-volume set LNCS 12476 - 12478 constitutes the refereed proceedings of the 9th International Symposium on Leveraging ...
Continue reading
Leveraging Applications of Formal Methods, Verification and Validation: Engineering Principles : 9th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2020, Rhodes, Greece, October 20–30, 2020, Proceedings, Part II
The three-volume set LNCS 12476 - 12478 constitutes the refereed proceedings of the 9th International Symposium on Leveraging ...
Continue reading
Leveraging Applications of Formal Methods, Verification and Validation: Verification Principles : 9th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2020, Rhodes, Greece, October 20–30, 2020, Proceedings, Part I
The three-volume set LNCS 12476 - 12478 constitutes the refereed proceedings of the 9th International Symposium on Leveraging ...
Continue reading
Middleware 2005
Today, middleware is a key part of almost any application. Gone are the days when middleware was only used in the IT industry ...
Continue reading
Middleware 2007
This book constitutes the refereed proceedings of the ACM/IFIP/USENIX 8th International Middleware Conference 2007, held ...
Continue reading
Middleware 2008 : ACM/IFIP/USENIX 9th International Middleware Conference Leuven, Belgium, December 1-5, 2008 Proceedings
This book constitutes the refereed proceedings of the ACM/IFIP/USENIX 9th International Middleware Conference 2008, held ...
Continue reading
Model Driven Architecture - Foundations and Applications : 4th European Conference, ECMDA-FA 2008, Berlin, Germany, June 9-13, 2008. Proceedings
The 31 revised full papers presented - 21 research papers and 10 industry papers - were carefully reviewed and selected from ...
Continue reading
