Search
Search Results
-
Selenium WebDriver Recipes in C# Practical Testing Solutions for Selenium WebDriver
Solve your Selenium WebDriver problems with this quick guide to automated testing of web applications with Selenium WebDriver in C#. This third...
-
Incentive Mechanism for Mobile Crowdsensing A Game-theoretic Approach
Mobile crowdsensing (MCS) is emerging as a novel sensing paradigm in the Internet of Things (IoTs) due to the proliferation of smart devices (e.g.,...
-
Theoretical Computer Science 41st National Conference, NCTCS 2023, Guangzhou, China, July 21–23, 2023, Revised Selected Papers
This book constitutes the refereed proceedings of the 41st National Conference on Theoretical Computer Science, NCTCS 2023, held in Guangzhou,... -
Speed Metrics Guide Choosing the Right Metrics to Use When Evaluating Websites
Faster websites offer a better user experience and typically have higher conversion rates. It can be challenging to know where to invest to...
-
Guide to Software Verification with Frama-C Core Components, Usages, and Applications
Frama-C is a popular open-source toolset for analysis and verification of C programs, largely used for teaching, experimental research, and...
-
Machine Learning for Decision Makers Cognitive Computing Fundamentals for Better Decision Making
This new and updated edition takes you through the details of machine learning to give you an understanding of cognitive computing, IoT, big data,... -
Modern Software Testing Techniques A Practical Guide for Developers and Testers
Many books have been written about software testing, but most of them discuss the general framework of testing from a traditional perspective....
-
Natural Language Interfaces to Databases
This book presents a comprehensive overview of Natural Language Interfaces to Databases (NLIDBs), an indispensable tool in the ever-expanding realm... -
CyberSecurity in a DevOps Environment From Requirements to Monitoring
This book provides an overview of software security analysis in a DevOps cycle including requirements formalisation, verification and continuous...
-
The French School of Programming
The French School of Programmingis a collection of insightful discussions of programming and software engineering topics, by some of the most... -
Active Inference 4th International Workshop, IWAI 2023, Ghent, Belgium, September 13–15, 2023, Revised Selected Papers
This volume constitutes the papers of the 4th International Workshop on Active Inference, IWAI 2023, held in Ghent, Belgium on September 2023.
The 17...
-
Search-Based Software Engineering 15th International Symposium, SSBSE 2023, San Francisco, CA, USA, December 8, 2023, Proceedings
This book constitutes the refereed proceedings of the 15th International Symposium on Search-Based Software Engineering, SSBSE 2023, which took place... -
Algorithmic Aspects of Cloud Computing 8th International Symposium, ALGOCLOUD 2023, Amsterdam, The Netherlands, September 5, 2023, Revised Selected Papers
This book constitutes revised selected papers from the 8th International Symposium on Algorithmic Aspects of Cloud Computing, ALGOCLOUD 2023, held in... -
Performance Evaluation Methodologies and Tools 16th EAI International Conference, VALUETOOLS 2023, Crete, Greece, September 6–7, 2023, Proceedings
This volume contains the proceedings of the 16th EAI International Conference on Performance Evaluation Methodologies and Tools, VALUETOOLS 2023,...
-
Bridging the Gap Between AI and Reality First International Conference, AISoLA 2023, Crete, Greece, October 23–28, 2023, Proceedings
This book constitutes the proceedings of the First International Conference on Bridging the Gap between AI and Reality, AISoLA 2023, which took place... -
New Technologies, Artificial Intelligence and Smart Data 10th International Conference, INTIS 2022, Casablanca, Morocco, May 20–21, 2022, and 11th International Conference, INTIS 2023, Tangier, Morocco, May 26–27, 2023, Revised Selected Papers
This volume constitutes selected papers presented at the 10th International Conference on Innovation and New Trends in Information Technology, INTIS... -
Structures of Computing A Guide to Practice-Oriented Theory
Structures of Computingexplains the behavioral meaning of fundamental concepts of computing from a practical viewpoint and in generic terms,...
-
Collaborative Computing: Networking, Applications and Worksharing 19th EAI International Conference, CollaborateCom 2023, Corfu Island, Greece, October 4-6, 2023, Proceedings, Part II
The three-volume set LNICST 561, 562 563 constitutes the refereed post-conference proceedings of the 19th EAI International... -
Dynamic Data Driven Applications Systems 4th International Conference, DDDAS 2022, Cambridge, MA, USA, October 6–10, 2022, Proceedings
This book constitutes the refereed proceedings of the 4th International Conference on Dynamic Data Driven Applications Systems, DDDAS 2022, which...
-
Computability and Complexity Foundations and Tools for Pursuing Scientific Applications
This is a book about computation, something which is ubiquitous in the modern world. More precisely, it examines computability theory and...