This book constitutes the proceedings of the 18th IFIP WG 6.11 Conference on e-Business, e-Services, and e-Society, I3E 2019, held in Trondheim, Norway, in September 2019. The total of 61 full and 4 short papers presented in this volume were carefully reviewed and selected from 138 submissions. The papers were organized in topical sections named: e-business; big data analytics, open science and open data; artificial intelligence and internet of things; smart cities and smart homes, social media and analytics; digital governance; digital divide and social inclusion; learning and education; security in digital environments; modelling and managing the digital enterprise; digital innovation and business transformation; and online communities.

This two-volume set LNCS 11588 and 11589 constitutes the refereed proceedings of the 6th International Conference on Business, Government, and Organizations, HCIBGO 2019, held in July 2019 as part of HCI International 2019 in Orlando, FL, USA. HCII 2019 received a total of 5029 submissions, of which 1275 papers and 209 posters were accepted for publication after a careful reviewing process. The 63 papers presented in these two volumes are organized in topical sections named: Electronic, Mobile and Ubiquitous Commerce, eBanking and Digital Money, Consumer Behaviour, Business Information Systems, Dashboards and Visualization, Social Media and Big Data Analytics in B

This book constitutes the proceedings of the 18th IFIP WG 8.5 International Conference on Electronic Government, EGOV 2019, held in San Benedetto del Tronto, Italy, in September 2019, in conjunction with the IFIP WG 8.5 IFIP International Conference on Electronic Participation (ePart 2019) and the International Conference for E-Democracy and Open Government Conference (CeDEM 2019). The 27 revised full papers presented were carefully reviewed and selected from 64 submissions. The papers are clustered under the following topical sections: E-Government Foundations; E-Government Services and Open Government; Open Data: Social and Technical Aspects; AI, Data Analytics and Automated Decision Making; and Smart Cities.

This book constitutes the refereed proceedings of the 8th International Conference on Electronic Government and the Information Systems Perspective, EGOVIS 2019, held in Linz, Austria, in August 2019. The 17 full papers presented were carefully reviewed and selected from 25 submissions. The papers are organized in the following topical sections: open data and open innovation; data-driven approaches in e-government; e-government cases - data and knowledge management; e-government theoretical background; and digitalization and transparency.

This book constitutes extended, revised and selected papers from the 20th International Conference on Enterprise Information Systems, ICEIS 2018, held in Funchal, Madeira, Portugal, in March 2018. The 19 papers presented in this volume were carefully reviewed and selected for inclusion in this book from a total of 242 submissions. They deal with topics such as data science and databases; ontologies; social networks; knowledge management; software development; human-computer interaction, and multimedia.

Use this hands-on guide to build powerful solutions on the Salesforce platform without using a single line of code. This revised and expanded second edition includes Process Builder, Flow Builder, Lightning App Builder, Lightning Bolt Solutions, and more. Practical Salesforce Development Without Code shows you how to unlock the power of the Salesforce platform to solve real business problems. Adhering to Salesforce's "clicks, not code" mantra, Salesforce expert Phil Weinmeister walks Salesforce newcomers and veterans through different business problems and identifies effective-and proven-approaches to solutions using the platform's declarative framework. By adopting this book as your guide, you will learn how to deliver business solutions within Salesforce by combining analysis, creativity, and logic with core elements such as validation rules, workflow rules, processes, flows, formula fields, and Lightning apps. In addition, Weinmeister dissects and explains the most useful functions and features for declarative developers and shows you how to use them. Best of all, Weinmeister uses real-life business scenarios and visuals. Applying the lessons learned from this how-to guide will ultimately save you time and ensure that your clients or internal customers are enabled, equipped, and empowered. What You'll Learn Build objects, fields, and relationships to establish a sensible data model Automate business processes by using Workflow, Process Builder, and Flow Utilize functions and develop formulas effectively for a variety of business needs Develop approval processes to handle exception scenarios Employ actions to easily create efficient and relevant user experiences Manage your environments and deploy your solutions Who This Book Is for Business analysts, Salesforce administrators, and Salesforce developers

This book constitutes revised selected papers from the 9th International Workshop on Enterprise Applications, Markets and Services in the Finance Industry, FinanceCom 2018, held in Manchester, UK, in June 2018. The 11 papers presented in this volume were carefully reviewed and selected from 18 submissions. They were organized in topical sections named: financial innovation; market data analytics; and semantic modelling.

Harness the power of LaTeX and its wide range of features to create professional-looking text, articles, and books with both online and offline capabilities of LaTeX Key Features Get a hands-on introduction to LaTeX using fully explained examples to advance from beginner to LaTeX professional quickly Write impressive mathematical, scientific, and business papers or theses using LaTeX Explore LaTeX online Book DescriptionLaTeX is high-quality open source typesetting software that produces professional prints and PDF files. It's a powerful and complex tool with a multitude of features, so getting started can be intimidating. However, once you become comfortable with LaTeX, its capabilities far outweigh any initial challenges, and this book will help you with just that! The LaTeX Beginner's Guide will make getting started with LaTeX easy. If you are writing mathematical, scientific, or business papers, or have a thesis to write, this is the perfect book for you. With the help of fully explained examples, this book offers a practical introduction to LaTeX with plenty of step-by-step examples that will help you achieve professional-level results in no time. You'll learn to typeset documents containing tables, figures, formulas, and common book elements such as bibliographies, glossaries, and indexes, and go on to manage complex documents and use modern PDF features. You'll also get to grips with using macros and styles to maintain a consistent document structure while saving typing work. By the end of this LaTeX book, you'll have learned how to fine-tune text and page layout, create professional-looking tables, include figures, present complex mathematical formulas, manage complex documents, and benefit from modern PDF features. What you will learn Make the most of LaTeX's powerful features to produce professionally designed texts Download, install, and set up LaTeX and use additional styles, templates, and tools Typeset math formulas and scientific expressions to the highest standards Understand how to include graphics and work with figures and tables Discover professional fonts and modern PDF features Work with book elements such as bibliographies, glossaries, and indexes Typeset documents containing tables, figures, and formulas Who this book is forIf you are about to write mathematical or scientific papers, seminar handouts, or even plan to write a thesis, this book offers you a fast-paced and practical introduction to LaTeX. School and university students will find this easy-to-follow LaTeX guide helpful, as will mathematicians, physicists, engineers, and humanists. Anybody with high expectations from their software will discover how easy it is to leverage LaTeX's high performance for creating documents.

This book constitutes the refereed proceedings of the 5th Conference on AElectronic Governance and Open Society: Challenges in Eurasia, EGOSE 2018, held in St. Petersburg, Russia, in November 2018. The 36 revised full papers were carefully reviewed and selected from 98 submissions. The papers are organized in topical sections on smart city infrastructure, policy; digital privacy, rights,security;data science, machine learning, algorithms, computational linguistics; digital public administration, economy, policy; digital services, values, inclusion; digital democracy, participation, security, communities, social media, activism; social media discourse analysis; digital data, policy modeling; digital government, administration, communication.

This book constitutes the refereed proceedings of the 15th International Conference on Economics of Grids, Clouds, Systems, and Services, GECON 2018, held in Pisa, Italy, in September 2018. The 21 full papers and 9 short papers presented together with 1 invited talk were carefully reviewed and selected from 40 submissions.This GECON 2018 proceedings was structured in three special sessions on selected topics, namely: IT service ecosystems enabled through emerging digital technologies; machine learning, cognitive systems and data science for system management; and blockchain technologies and economics.

This book constitutes revised selected papers from two workshops held at the 18th European Conference on Machine Learning and Knowledge Discovery in Databases, ECML PKDD 2018, in Dublin, Ireland, in September 2018, namely: MIDAS 2018 - Third Workshop on Mining Data for Financial Applications and PAP 2018 - Second International Workshop on Personal Analytics and Privacy. The 12 papers presented in this volume were carefully reviewed and selected from a total of 17 submissions.

This book highlights the emerging field of intelligent computing and developing smart systems. It includes chapters discussing the outcome of challenging research related to distributed computing, smart machines and their security related research, and also covers next-generation communication techniques and the networking technologies that have the potential to build the future communication infrastructure. Bringing together computing, communications and other aspects of intelligent and smart computing, it contributes to developing a roadmap for future research on intelligent systems.

Das Buch vermittelt einen praxisorientierten Einstieg in den Business Rules Ansatz. Dazu werden zum einen Regeln und fachliche Zusammenhange, die bei der Abwicklung des jeweiligen Geschafts zu berucksichtigen sind, erklart, zum anderen wird eine technische Infrastruktur bereitgestellt, die in der Lage ist, diese Regeln auf einem Rechner zu automatisieren.

Anhand eines durchgangigen Fallbeispiels wird aufgezeigt

- wie sich ein Unternehmen aus seinen Zielen sowie gegebenen Einflussen optimale Strategien erarbeiten kann,

- wie sich diese Strategien auf der Basis eines Unternehmensvokabulars in konkrete Geschaftsregeln uberfuhren lassen,

- mit welchen Technologien sich diese Geschaftsregeln automatisieren lassen,

- welche architektonischen Uberlegungen bei dieser Automatisierung von Geschaftsregeln durch IT-Systeme zu beachten sind,

- wie sich ein Unternehmen selber inklusive seiner IT-Systeme kontinuierlich an veranderte Gegebenheiten adaptieren kann."

This book examines how digital technologies enable collaboration as a way for individuals, teams and businesses to connect, create value, and harness new opportunities. Digital technologies have brought the world closer together but also created new barriers and divides. While it is now possible to connect almost instantly and seamlessly across the globe, collaboration comes at a cost; it requires new skills and hidden 'collaboration work', and the need to renegotiate the fair distribution of value in multi-stakeholder network arrangements. Presenting state-of-the-art research, case studies, and leading voices in the field, the book provides academics and professionals with insights into the diverse powers of collaboration in the digital age, spanning collaboration among professionals, organisations, and consumers. It brings together contributions from scholars interested in the collaboration of teams, cooperatives, projects, and new cooperative systems, covering a range of sectors from the sharing economy, health care, large project businesses to public sector collaboration.

This book uncovers the idea of understanding cybersecurity management in FinTech. It commences with introducing fundamentals of FinTech and cybersecurity to readers. It emphasizes on the importance of cybersecurity for financial institutions by illustrating recent cyber breaches, attacks, and financial losses. The book delves into understanding cyber threats and adversaries who can exploit those threats. It advances with cybersecurity threat, vulnerability, and risk management in FinTech. The book helps readers understand cyber threat landscape comprising different threat categories that can exploit different types of vulnerabilties identified in FinTech. It puts forward prominent threat modelling strategies by focusing on attackers, assets, and software and addresses the challenges in managing cyber risks in FinTech. The authors discuss detailed cybersecurity policies and strategies that can be used to secure financial institutions and provide recommendations to secure financial institutions from cyber-attacks.

An essential introduction to the analysis and verification of control system software The verification of control system software is critical to a host of technologies and industries, from aeronautics and medical technology to the cars we drive. The failure of controller software can cost people their lives. In this authoritative and accessible book, Pierre-Loic Garoche provides control engineers and computer scientists with an indispensable introduction to the formal techniques for analyzing and verifying this important class of software. Too often, control engineers are unaware of the issues surrounding the verification of software, while computer scientists tend to be unfamiliar with the specificities of controller software. Garoche provides a unified approach that is geared to graduate students in both fields, covering formal verification methods as well as the design and verification of controllers. He presents a wealth of new verification techniques for performing exhaustive analysis of controller software. These include new means to compute nonlinear invariants, the use of convex optimization tools, and methods for dealing with numerical imprecisions such as floating point computations occurring in the analyzed software. As the autonomy of critical systems continues to increase-as evidenced by autonomous cars, drones, and satellites and landers-the numerical functions in these systems are growing ever more advanced. The techniques presented here are essential to support the formal analysis of the controller software being used in these new and emerging technologies.

This book constitutes the refereed proceedings of the 20th International Conference on Business Process Management, BPM 2022, which took place in Munster, Germany, in September 2022. The 22 papers included in this book were carefully reviewed and selected from 98 submissions. They were organized in topical sections as follows: task mining; design methods; process mining; process mining practice; analytics; and systems. The book also includes one keynote talk in full-paper length and 5 tutorial papers.

This book constitutes the refereed proceedings of the 11th IFIP WG 8.9 Working Conference on Research and Practical Issues of Enterprise Information Systems, CONFENIS 2017, held in Shanghai, China, in October 2017. The 17 full papers presented in this volume were carefully reviewed and selected from 39 submissions. They were organized in topical sections named: EIS concepts, theory and methods; IoT and emerging paradigm; EIS for industry 4.0; big data analytics; and intelligent electronics and systems for industrial IoT.

This book constitutes the proceedings of the Third International Conference on Smart Grid and Innovative Frontiers in Telecommunications, SmartGIFT, held in Auckland, New Zealand, in April 2018. The 28 revised full papers presented were carefully reviewed and selected from 44 submissions. They focus on smart grid as the next generation of electrical grid, which will enable the smart integration of conventional, renewable and distributed power generation, energy storage, transmission and distribution, and demand management. The benefits of smart grid include enhanced reliability and resilience, higher intelligence and optimized control, decentralized operation, higher operational efficiency, more efficient demand management, and better power quality.

Description With Kubernetes, users don't have to worry about which specific machine in their data center their application is running on. Each layer in their application is decoupled from other layers so they can scale, update, and maintain them independently. Kubernetes in Action teaches developers how to use Kubernetes to deploy self-healing scalable distributed applications. By the end, readers will be able to build and deploy applications in a proper way to take full advantage of the Kubernetes platform. Key features * Easy to follow guide * Hands-on examples * Clearly-written Audience The book is for both application developers as well as system administrators who want to learn about Kubernetes from the developer's perspective. About the Technology Kubernetes abstracts away the hardware infrastructure and exposes your whole datacenter as a single enormous computational resource.

This book constitutes the proceedings of the International Conference on Edge Computing, EDGE 2018, held in Seattle, WA, USA, in June 2018. The 9 full papers and 3 short paper presented in this volume were carefully reviewed and selected from 29 submissions. The contributions are organized in topical sections named: Research Track; Application and Industry Track; and Short Paper Track. They deal with the latest fundamental advances in the state of the art and practice of edge computing.

The book introduces the fundamentals and development of Computer aided design, Computer aided process planning, and Computer aided manufacturing. The integration of CAD/CAPP/CAM, product data management and Concurrent engineering and collaborative design etc. are also illustrated in detail, which make this book be an essential reference for graduate students, scientists and practitioner in the research fields of computer sciences and engineering.