Software Process Modeling brings together experts to discuss relevant results in software process modeling, and expresses their personal view of this field.
System design has conventionally been the province of engineers, and the approaches taken to the design of systems have conventionally led to formal specification of the system.
This two-volume set of HCIBGO 2023, constitutes the refereed proceedings of the 10h International Conference on HCI in Business, Government and Organizations, held as Part of the 24th International Conference, HCI International 2023, which took place in July 2023 in Copenhagen, Denmark.
This book constitutes revised and selected papers of the First International Conference on Computational Sciences - Modelling, Computing and Soft Computing, held in Kozhikode, Kerala, India, in September 2020.
This textbook provides an excellent focus on the advanced topics of the power system protection philosophy and gives exciting analysis methods and a cover of the important applications in the power systems relaying.
This four-volume set LNCS 14982-14985 constitutes the refereed proceedings of the 29th European Symposium on Research in Computer Security, ESORICS 2024, held in Bydgoszcz, Poland, during September 16-20, 2024.
This book constitutes revised selected papers from the International Workshop on Data Quality and Trust in Big Data, QUAT 2018, which was held in conjunction with the International Conference on Web Information Systems Engineering, WISE 2018, in Dubai, UAE, in November 2018.
This book constitutes the refereed proceedings of the 13th International Conference on Reachability Problems, RP 2019, held in Brussels, Belgium, in September 2019.
The 13-volume set LNCS 14425-14437 constitutes the refereed proceedings of the 6th Chinese Conference on Pattern Recognition and Computer Vision, PRCV 2023, held in Xiamen, China, during October 13-15, 2023.
This six-volume set, LNAI 15387-15392, constitutes the refereed proceedings of the 20th International Conference on Advanced Data Mining and Applications, ADMA 2024, held in Sydney, New South Wales, Australia, during December 3-5, 2024.
This book statistically confirms that complexity and changing technologies that affect the way operators interact within the systems of the nuclear facili-ties exacerbate the severity of incidents caused by human error and details the application of the systems engineering process to reduce human error given industries' rapidly advancing technology.
This book constitutes the extended abstracts of the posters presented during the 22nd International Conference on Human-Computer Interaction, HCII 2020, which was held in July 2020.
"e;If you're looking for solid, easy-to-follow advice on estimation, requirements gathering, managing change, and more, you can stop now: this is the book for you.
The two-volume set LNCS 15406 and 15407 constitutes the refereed proceedings of the 10th Russian Supercomputing Days International Conference, RuSCDays 2024, held in Moscow, Russia, during September 2024.
This book constitutes the refereed proceedings of the 4th International Conference on Big Data and Security, ICBDS 2022, held in Xiamen, China, during December 8-12, 2022.
This two-volume set constitutes selected papers presented during the Second International Conference on Science, Engineering Management and Information Technology, SEMIT 2023, held in Ankara, Turkey, during September 14-15, 2023.
This book constitutes the refereed proceedings of the 15th International Workshop on Communication Technologies for Vehicles, Nets4Cars/Nets4Trains/Nets4Aircraft 2020, held in Bordeaux, France, in November 2020.
The two volume proceedings of CCIS 698 and 699 constitutes revised selected papers from the 4th International Conference on Geo-Informatics in Resource Management and Sustainable Ecosystem, GRMSE 2016, held in Hong Kong, China, in November 2016.
This book constitutes the refereed proceedings of the Third International Conference on Dynamic Data Driven Application Systems, DDDAS 2020, held in Boston, MA, USA, in October 2020.
This book constitutes the refereed proceedings of the First International Conference on Big Data and Security, ICBDS 2019, held in Nanjing, China, in December 2019.
Exploring the interrelations between generalized metric spaces, lattice-ordered groups, and order statistics, the book contains a new algebraic approach to Signal Processing Theory.
The new edition of this classic OReilly reference provides clear, detailed explanations of every feature in the C language and runtime library, including multithreading, type-generic macros, and library functions that are new in the 2011 C standard (C11).
This book statistically confirms that complexity and changing technologies that affect the way operators interact within the systems of the nuclear facili-ties exacerbate the severity of incidents caused by human error and details the application of the systems engineering process to reduce human error given industries' rapidly advancing technology.
This book constitutes the thoroughly refereed post-conference proceedings of the 32nd International Workshop on Languages and Compilers for Parallel Computing, LCPC 2019, held in Atlanta, GA, USA, in October 2019.
This book constitutes the refereed proceedings of the 20th International Symposium on Stabilization, Safety, and Security of Distributed Systems, SSS 2018, held in Tokyo, Japan, in November 2018.
Uses Verilog HDL to illustrate computer architecture and microprocessor design, allowing readers to readily simulate and adjust the operation of each design, and thus build industrially relevant skills Introduces the computer principles, computer design, and how to use Verilog HDL (Hardware Description Language) to implement the design Provides the skills for designing processor/arithmetic/cpu chips, including the unique application of Verilog HDL material for CPU (central processing unit) implementation Despite the many books on Verilog and computer architecture and microprocessor design, few, if any, use Verilog as a key tool in helping a student to understand these design techniques A companion website includes color figures, Verilog HDL codes, extra test benches not found in the book, and PDFs of the figures and simulation waveforms for instructors
Applied Systems Analysis: Science and Art of Solving Real-Life ProblemsSubject Guide: Engineering - Industrial and ManufacturingAny activity is aimed at solving certain problems, which means transferring a system from an existing unsatisfactory problematic state to a desired state.
This book constitutes the refereed proceedings of the 13th China Conference on Wireless Sensor Networks, CWSN 2019, held in Chongqing, China, in October 2019.
This book, AICON 2022, constitutes the post-conference proceedings of the 4th EAI International Conference on Artificial Intelligence for Communications and Networks, AICON 2022, held in Hiroshima, Japan, in November 30- December 1, 2022.
This book constitutes the joint refereed proceedings of the 22nd International Conference on Internet of Things, Smart Spaces, and Next Generation Networks and Systems, NEW2AN 2022, held in Tashkent, Uzbekistan, in December 2022.
Uses Verilog HDL to illustrate computer architecture and microprocessor design, allowing readers to readily simulate and adjust the operation of each design, and thus build industrially relevant skills Introduces the computer principles, computer design, and how to use Verilog HDL (Hardware Description Language) to implement the design Provides the skills for designing processor/arithmetic/cpu chips, including the unique application of Verilog HDL material for CPU (central processing unit) implementation Despite the many books on Verilog and computer architecture and microprocessor design, few, if any, use Verilog as a key tool in helping a student to understand these design techniques A companion website includes color figures, Verilog HDL codes, extra test benches not found in the book, and PDFs of the figures and simulation waveforms for instructors
If you are interested in understanding how the systematic use of task models in the design, development, and usability evaluation of interactive software applications can open new opportunities and possibilities then this book will help you do just that.
This book constitutes the refereed proceedings of the Third International Conference on Big Data and Security, ICBDS 2021, held in Shenzhen, China, in November 2021The 46 revised full papers and 13 short papers were carefully reviewed and selected out of 221 submissions.
This book constitutes the thoroughly refereed post-conference proceedings of the 4th International Conference on Mobile, Secure, and Programmable Networking, held in Paris, France, in June 2018.
Ambient assisted living (AAL) utilizes information and communication technology to empower individuals to maintain an active and independent lifestyle for as long as possible.
This book constitutes the refereed proceedings of the 4th IFIP TC 10 International Embedded Systems Symposium, IESS 2013, held in Paderborn, Germany, in June 2013.
This book constitutes the refereed proceedings of the 25th International Conference on Distributed Computer and Communication Networks, DCCN 2022, held in Moscow, Russia, in September 2022.
This book constitutes the refereed proceedings of the 22nd International Conference on Algorithms and Architectures for Parallel Processing, ICA3PP 2022, which was held in October 2022.
This book constitutes the revised selected papers of the 7th Ibero-American Congress on Smart Cities, ICSC-Cities 2024, held in San Carlos, Costa Rica during November 12–14, 2024.