Wyniki wyszukiwania:

This book constitutes the proceedings of the 5th International Workshop on Design, Modeling, and Evaluation of Cyber Physical Systems, CyPhy 2015, held as part of ESWeek 2015, in Amsterdam, The Netherlands, in October 2015.

The 10 papers presented in this volume were carefully reviewed and selected from 13 submissions. They broadly interpret, from a diverse set of disciplines, the modeling, simulation, and evaluation of cyber-physical systems.

This book constitutes the refereed proceedings of the Second IFIP WG 1.8 International Conference on Topics in Theoretical Computer Science, TTCS 2017, held in Tehran, Iran, in September 2017. The 8 papers presented in this volume were carefully reviewed and selected from 20 submissions.

This book constitutes the refereed proceedings of the 42nd IFIP WG 6.1 International Conference on Formal Techniques for Distributed Objects, Components, and Systems, FORTE 2022, held in Lucca, Italy, in June 2022, as part of the 17th International Federated Conference on Distributed Computing Techniques, DisCoTec 2022.The 12 regular papers presented were carefully reviewed and selected from 28 submissions. They cover topics such as: software quality, reliability, availability, and safety; security, privacy, and trust in distributed and/or communicating systems; service-oriented, ubiquitous,...

Distributed Generation Systems: Design, Operation and Grid Integration closes the information gap between recent research on distributed generation and industrial plants, and provides solutions to their practical problems and limitations. It provides a clear picture of operation principles of distributed generation units, not only focusing on the power system perspective but targeting a specific need of the research community.

This book is a useful reference for practitioners, featuring worked examples and figures on principal types of distributed generation with an emphasis...

Sustainability is the major concern in todays world. In built environment, it has tremendous significance. Housing, as its major bulk, needs serious attention on all the three major pillars of sustainability. Turning to the environmental aspects, there are different active and passive design elements that can be incorporated with housing. However, it varies from context to context. This book tried to identify environmentally sustainable elements of housing in the hot-humid climate in Malaysia through extensive literature review. After that, it conducted field survey to find out the affordable...