These transactions publish research in computer-based methods of computational collective intelligence (CCI) and their applications in a wide range of fields such as the semantic Web, social networks, and multi-agent systems. TCCI strives to cover new methodological, theoretical and practical aspects of CCI understood as the form of intelligence that emerges from the collaboration and competition of many individuals (artificial and/or natural). The application of multiple computational intelligence technologies, such as fuzzy systems, evolutionary computation, neural systems, consensus theory, etc., aims to support human and other collective intelligence and to create new forms of CCI in natural and/or artificial systems. This twenty-eight issue is a special issue with 11 selected papers from the International Conference on Agents and Artificial Intelligence, ICAART 2016 and 2017 editions.

This book constitutes the refereed proceedings of the 11th International Conference on Model Transformation, ICMT 2018, held as part of STAF 2018, in Toulouse, France, in June 2018. The 9 full papers were carefully reviewed and selected from 24 submissions. This book also presents 1 invited paper. The papers include research, application, and tool demonstration papers presented in the context of four sessions on verification of model transformations, model transformation tools, transformation reuse and graph transformations.

This book presents a comprehensive introduction to Internetware, covering aspects ranging from the fundamental principles and engineering methodologies to operational platforms, quality measurements and assurance and future directions. It also includes guidelines and numerous representative real-world case studies that serve as an invaluable reference resource for software engineers involved in the development of Internetware applications. Providing a detailed analysis of current trends in modern software engineering in the Internet, it offers an essential blueprint and an important contribution to the research on software engineering and systems for future Internet computing.

This book constitutes the refereed post-conference proceedings of the 25th International Colloquium on Structural Information and Communication Complexity, SIROCCO 2018, held in Ma'ale HaHamisha, Israel, in June 2018. The 23 full papers and 8 short papers presented were carefully reviewed and selected from 47 submissions. They are devoted to the study of the interplay between structural knowledge, communications, and computing in decentralized systems of multiple communicating entities and cover a large range of topics.

The tools, guidelines, and procedures that IS auditors need

Auditing Information Systems, Second Edition, explains clearly how to audit the controls and security over all types of information systems environments. The concepts and techniques in the book enable auditors, information security professionals, managers, and audit committee members of every knowledge and skill level to truly understand whether or not their computing systems are safe. The book provides a detailed examination of contemporary auditing issues such as:

• Information systems audit approach (physical, logical, environmental security)
• Security certifications such as SAS 70, TruSecure, SysTrust, and WebTrust
• Computer forensics
• E-Commerce and Internet security (including encryption and cryptography)
• Information privacy laws and regulations
• Information systems project management controls
• New technologies and future risks

Auditing Information Systems, Second Edition gives auditing professionals the tools they need to get their job done right. It is a must-have reference for any auditor’s library.

This book constitutes the refereed proceedings of the 4th International Conference on Tools and Methods for Program Analysis, TMPA 2017, Moscow, Russia, March 3-4, 2017. The 12 revised full papers and 5 revised short papers presented together with three abstracts of keynote talks were carefully reviewed and selected from 51 submissions. The papers deal with topics such as software test automation, static program analysis, verification, dynamic methods of program analysis, testing and analysis of parallel and distributed systems, testing and analysis of high-load and high-availability systems, analysis and verification of hardware and software systems, methods of building quality software, tools for software analysis, testing and verification.

This book constitutes the refereed proceedings of the 13th Colombian Conference on Computing, CCC 2018, held in Cartagena, Colombia, in September 2018. The 46 revised full papers presented were carefully reviewed and selected from 194 submissions. The papers deal with the following topics: information and knowledge management, software engineering and IT architectures, educational informatics, intelligent systems and robotics, human-computer interaction, distributed systems and large-scale architectures, image processing, computer vision and multimedia, security of the information, formal methods, computational logic, and theory of computation.

It's the little things that turn a good digital product into a great one. With this full color practical book, you'll learn how to design effective microinteractions: the small details that exist inside and around features. How can users change a setting? How do they turn on mute, or know they have a new email message? Through vivid, real-world examples from today's devices and applications, author Dan Saffer walks you through a microinteraction's essential parts, then shows you how to use them in a mobile app, a web widget, and an appliance. You'll quickly discover how microinteractions can change a product from one that's tolerated into one that's treasured. Explore a microinteraction's structure: triggers, rules, feedback, modes, and loops Learn the types of triggers that initiate a microinteraction Create simple rules that define how your microinteraction can be used Help users understand the rules with feedback, using graphics, sounds, and vibrations Use modes to let users set preferences or modify a microinteraction Extend a microinteraction's life with loops, such as "Get data every 30 seconds"

This book constitutes the refereed proceedings papers from the 8th International Workshop on Performance Modeling, Benchmarking and Simulation of High Performance Computing Systems, PMBS 2017, held in Denver, Colorado, USA, in November 2017. The 10 full papers and 3 short papers included in this volume were carefully reviewed and selected from 36 submissions. They were organized in topical sections named: performance evaluation and analysis; performance modeling and simulation; and short papers.

This book constitutes the proceedings of the 38th IFIP WG 6.1 International Conference on Formal Techniques for Distributed Objects, Components, and Systems, FORTE 2018, held in Madrid, Spain, in June 2018, as part of the 13th International Federated Conference on Distributed Computing Techniques, DisCoTec 2018. The 10 full papers presented were carefully reviewed and selected from 28 submissions. The conference is dedicated to fundamental research on theory, models, tools, and applications for distributed systems.

This book constitutes the refereed proceedings of the 12th International Conference on Parallel Computational Technologies, PCT 2018, held in Rostov-on-Don, Russia, in April 2018.The 24 revised full papers presented were carefully reviewed and selected from 167 submissions. The papers are organized in topical sections on high performance architectures, tools and technologies; parallel numerical algorithms; supercomputer simulation.

This book constitutes the proceedings of the Third International Conference on Technologies and Innovation, CITI 2017, held in Guayaquil, Ecuador, in October 2017. The 24 papers presented in this volume were carefully reviewed and selected from 68 submissions. They were organized in topical sections named: cloud and mobile computing; knowledge based and expert systems; applications in healthcare and wellness; e-learning; and ICT in agronomy.

This book constitutes the refereed proceedings of the 15th International Conference on Detection of Intrusions and Malware, and Vulnerability Assessment, DIMVA 2018, held in Saclay, France, in June 2018. The 17 revised full papers and 1 short paper included in this book were carefully reviewed and selected from 59 submissions. They present topics such as malware analysis; mobile and embedded security; attacks; detection and containment; web and browser security; and reverse engineering.

This book constitutes the refereed proceedings of the 10th International Conference on Model Transformation, ICMT 2017, held as part of STAF 2017, in Marburg, Germany, in July 2017. The 9 full papers and 2 short papers were carefully reviewed and selected from 31 submissions. The papers are organized in the following topical sections: transformation paradigms, languages, algorithms and strategies; development of transformations; and applications and case studies.

DECISION MAKING IN SYSTEMS ENGINEERING AND MANAGEMENT A thoroughly updated overview of systems engineering management and decision making In the newly revised third edition of Decision Making in Systems Engineering and Management, the authors deliver a comprehensive and authoritative overview of the systems decision process, systems thinking, and qualitative and quantitative multi-criteria value modeling directly supporting decision making throughout the system lifecycle. This book offers readers major new updates that cover recently developed system modeling and analysis techniques and quantitative and qualitative approaches in the field, including effective techniques for addressing uncertainty. In addition to Excel, six new open-source software applications have been added to illustrate key topics, including SIPmath Modeler Tools, Cambridge Advanced Modeller, SystemiTool2.0, and Gephi 0.9.2. The authors have reshaped the book's organization and presentation to better support educators engaged in remote learning. New appendices have been added to present extensions for a new realization analysis technique and getting started steps for each of the major software applications. Updated illustrative examples support modern system decision making skills and highlight applications in hardware, organizations, policy, logistic supply chains, and architecture. Readers will also find: Thorough introductions to working with systems, the systems engineering perspective, and systems thinking In-depth presentations of applied systems thinking, including holism, element dependencies, expansive and contractive thinking, and concepts of structure, classification, and boundaries Comprehensive explorations of system representations leading to analysis In-depth discussions of supporting system decisions, including the system decision process (SDP), tradespace methods, multi-criteria value modeling, working with stakeholders, and the system environment Perfect for undergraduate and graduate students studying systems engineering and systems engineering management, Decision Making in Systems Engineering and Management will also earn a place in the libraries of practicing system engineers and researchers with an interest in the topic.

Use this comprehensive guide to study for the Oracle WebLogic Server 12c Administration I Exam 1Z0-133. This book is a unique introductory resource to the WebLogic Server certification for new Oracle Fusion Middleware administrators and a valuable resource for veteran WebLogic Server administrators seeking to update their skills for the 12c certification topics. It is common sense that passing a certification exam requires a good command of the subject matter, understanding the intricacies surrounding its practice, and having sufficient experience working with the concepts. This book aims to accelerate the process by providing an accurate review of all exam topics, suggesting hands-on practices to gain or reinforce experience working with WebLogic Server, and introducing questions to help candidates become familiar with the format and style of questions found on the actual certification exam. Oracle WebLogic Server 12c Administration I Exam 1Z0-133 covers the associate level certification with Oracle. Although not dedicated to exam 1Z0-599, the guide is also a valuable foundational resource for those preparing for WebLogic Server 12c implementation specialist level certification. This book: Inspects the certification topics in the order that you would likely follow in an on-the-job middleware infrastructure project Is a great resource for candidates preparing for the certification, who are unable to start with live or personally-assisted training Is a great starting point for those pursuing advanced Oracle WebLogic Server certifications What You'll Learn Cover all topics on the certification exam 1Z0-133 Become familiar with the types and format of questions on the certification exam Understand and properly describe Oracle WebLogic Server domains and clusters Install, configure, maintain, and monitor Oracle WebLogic Server Deploy and manage applications on Oracle WebLogic Server Discover how to use new administration features of Oracle WebLogic Server 12c Who This Book Is For Certified Oracle WebLogic administrators seeking to update their Oracle WebLogic Server credentials, as well as experienced WebLogic Server administrators seeking to earn certification for the first time. Non-Oracle administrators seeking to earn a WebLogic Server certification will also find this book useful.

This course-tested textbook describes the design and implementation of operating systems, and applies it to the MTX operating system, a Unix-like system designed for Intel x86 based PCs. Written in an evolutional style, theoretical and practical aspects of operating systems are presented as the design and implementation of a complete operating system is demonstrated. Throughout the text, complete source code and working sample systems are used to exhibit the techniques discussed. The book contains many new materials on the design and use of parallel algorithms in SMP. Complete coverage on booting an operating system is included, as well as, extending the process model to implement threads support in the MTX kernel, an init program for system startup and a sh program for executing user commands. Intended for technically oriented operating systems courses that emphasize both theory and practice, the book is also suitable for self-study.

Unique selling point: * This book proposes several approaches for dynamic Android malware detection based on system calls which do not have the limitations of existing mechanisms. * This book will be useful for researchers, students, developers and security analysts to know how malware behavior represented in the form of system call graphs can effectively detect Android malware. * The malware detection mechanisms in this book can be integrated with commercial antivirus softwares to detect Android malware including obfuscated variants.

Understand the concepts, processes and technologies that will aid in your professional development as a new system administrator. While every information technology culture is specific to its parent organization, there are commonalities that apply to all organizations. The Accidental SysAdmin Handbook, Second Edition looks at those commonalities and provides a general introduction to critical aspects associated with system administration. It further acts to provide definitions and patterns for common computer terms and acronyms. What You Will Learn Build and manage home networking and plan more complex network environments Manage the network layer and service architectures as well as network support plans Develop a server hardware strategy and understand the physical vs. virtual server ecosystem Handle data storage, data strategies and directory services, and central account management Work with DNS, DHCP, IP v4 and IP v6 Deploy workstations and printers Manage and use antivirus and security management software Build, manage and work with intranets and Internet support services Who This Book Is For It is assumed that the reader has little to no experience in a professional information technology environment.

Recently, the pressure for fast processing and efficient storage of large data with complex relations increased beyond the capability of traditional databases. Typical examples include iPhone applications, computer aided design - both electrical and mechanical, biochemistry applications, and incremental compilers. Serialization, which is sometimes used in such situations is notoriously tedious and error prone. In this book, Jiri Soukup and Petr Machacek show in detail how to write programs which store their internal data automatically and transparently to disk. Together with special data structure libraries which treat relations among objects as first-class entities, and with a UML class-diagram generator, the core application code is much simplified. The benchmark chapter shows a typical example where persistent data is faster by the order of magnitude than with a traditional database, in both traversing and accessing the data. The authors explore and exploit advanced features of object-oriented languages in a depth hardly seen in print before. Yet, you as a reader need only a basic knowledge of C++, Java, C#, or Objective C. These languages are quite similar with respect to persistency, and the authors explain their differences where necessary. The book targets professional programmers working on any industry applications, it teaches you how to design your own persistent data or how to use the existing packages efficiently. Researchers in areas like language design, compiler construction, performance evaluation, and no-SQL applications will find a wealth of novel ideas and valuable implementation tips. Under http://www.codefarms.com/book, you will find a blog and other information, including a downloadable zip file with the sources of all the listings that are longer than just a few lines - ready to compile and run.

This concise step-by-step guide includes the best practices and patterns that help readers of all levels to unearth the potential of Materialize. A responsive framework based on Google's innovative Material Design language, Materialize provides CSS and JavaScript features similar to other popular frameworks such as Bootstrap and Foundation. With the advent of Material Design, developers can no longer overlook its importance and resourcefulness in web design and development. However, incorporating this toolkit in the web application can be quite a juggle. Compared to other design languages available in the market today, Materialize is the only one that adds depth and motion to its application elements. Ideal for web designers and developers, Introducing Materialize is your comprehensive training guide to the newest design language you need to learn. What You'll Learn Learn why Materialize is so popular and resourceful Get up and Running with this awesome toolkit Quick start with Materialize and creating unique designs Downloading and Installing the framework Get a grip on the fundamentals of Material Design Gather comprehensive knowledge about the framework Unearth the potential of this framework for real time implementation Who This Book Is For Ideal for web developers and designers with good experience of UI technologies such as HTML, CSS, JavaScript and jQuery. This book does not require prior experience of any responsive framework. It caters to readers on all levels ranging from beginners to experienced professionals.

Achieve the performance, scalability, and ROI your business needs

What can you do at the start of a virtualization deployment to make things run more smoothly? If you plan, deploy, maintain, and optimize vSphere solutions in your company, this unique book provides keen insight and solutions. From hardware selection, network layout, and security considerations to storage and hypervisors, this book explains the design decisions you'll face and how to make the right choices.

Written by two virtualization experts and packed with real-world strategies and examples, "VMware vSphere Design, Second Edition" will help you design smart design decisions.Shows IT administrators how plan, deploy, maintain, and optimize vSphere virtualization solutions Explains the design decisions typically encountered at every step in the process and how to make the right choices Covers server hardware selection, network topology, security, storage, virtual machine design, and more Topics include ESXi hypervisors deployment, vSwitches versus dvSwitches, and FC, FCoE, iSCSI, or NFS storage

Find out the "why" behind virtualization design decisions and make better choices, with "VMware vSphere Design, Second Edition," which has been fully updated for vSphere 5.x.

This book comprehensively illustrates quality-ware scheduling in key-value stores. In addition, it provides scheduling strategies and a prototype framework of quality-aware scheduler as well as a demonstration of online applications. The book offers a rich blend of theory and practice which is suitable for students, researchers and practitioners interested in distributed systems, NoSQL key-value stores and scheduling.

To solve performance problems in modern computing infrastructures, often comprising thousands of servers running hundreds of applications, spanning multiple tiers, you need tools that go beyond mere reporting. You need tools that enable performance analysis of application workflow across the entire enterprise. That's what PDQ (Pretty Damn Quick) provides. PDQ is an open-source performance analyzer based on the paradigm of queues. Queues are ubiquitous in every computing environment as buffers, and since any application architecture can be represented as a circuit of queueing delays, PDQ is a natural fit for analyzing system performance. Building on the success of the first edition, this considerably expanded second edition now comprises four parts. Part I contains the foundational concepts, as well as a new first chapter that explains the central role of queues in successful performance analysis. Part II provides the basics of queueing theory in a highly intelligible style for the non-mathematician; little more than high-school algebra being required. Part III presents many practical examples of how PDQ can be applied. The PDQ manual has been relegated to an appendix in Part IV, along with solutions to the exercises contained in each chapter. Throughout, the Perl code listings have been newly formatted to improve readability. The PDQ code and updates to the PDQ manual are available from the author's web site at www.perfdynamics.com

Making the most ef?cient use of computer systems has rapidly become a leading topic of interest for the computer industry and its customers alike. However, the focus of these discussions is often on single, isolated, and speci?c architectural and technological improvements for power reduction and conservation, while ignoring the fact that power ef?ciency as a ratio of performance to power consumption is equally in?uenced by performance improvements and architectural power red- tion. Furthermore, ef?ciency can be in?uenced on all levels of today's system hi- archies from single cores all the way to distributed Grid environments. To improve execution and power ef?ciency requires progress in such diverse ?elds as program optimization, optimization of program scheduling, and power reduction of idling system components for all levels of the system hierarchy. Improving computer system ef?ciency requires improving system performance and reducing system power consumption. To research and reach reasonable conc- sions about system performance we need to not only understand the architectures of our computer systems and the available array of code transformations for p- formance optimizations, but we also need to be able to express this understanding in performance models good enough to guide decisions about code optimizations for speci?c systems. This understanding is necessary on all levels of the system hierarchy from single cores to nodes to full high performance computing (HPC) systems, and eventually to Grid environments with multiple systems and resources.