Welcome to our book review site go-pdf.online!

You may have to Search all our reviewed books and magazines, click the sign up button below to create a free account.

Sign up

Modeling and Retrieval of Context
  • Language: en
  • Pages: 157

Modeling and Retrieval of Context

This book constitutes the thoroughly refereed post-proceedings of the Second International Workshop on Modeling and Retrieval of Context, MRC Edinburgh 2005. The 9 revised full papers presented were carefully selected and include extended versions of some presented at the MRC 2005 workshop. A major goal of the workshop was to study, understand, and explore the handling of context in IT applications. The papers illustrate the state of the art of context modeling and elicitation as well as identification and application of context in different application scenarios.

Intelligent Interactive Multimedia Systems and Services 2017
  • Language: en
  • Pages: 602

Intelligent Interactive Multimedia Systems and Services 2017

  • Type: Book
  • -
  • Published: 2017-05-26
  • -
  • Publisher: Springer

This book constitutes the refereed proceedings of the Tenth International KES Conference on Intelligent Interactive Multimedia Systems and Services: IIMSS-17. It includes 57 full papers organized into topical sections, ranging from visual data processing to big data analytics, and from multimedia to intelligent and cognitive systems. The conference took place as part of the Smart Digital Futures 2017 multi-theme conference, held in Vilamoura, Algarve, Portugal on 21–23 June 2017, which brings together AMSTA, IDT, InHorizons, InMed, SEEL and IIMSS in one venue. It provided an international forum for researchers and scientists to share their work and experiences in the field of multimedia and intelligent interactive systems and services.

Model-Based Engineering of Embedded Systems
  • Language: en
  • Pages: 298

Model-Based Engineering of Embedded Systems

Embedded systems have long become essential in application areas in which human control is impossible or infeasible. The development of modern embedded systems is becoming increasingly difficult and challenging because of their overall system complexity, their tighter and cross-functional integration, the increasing requirements concerning safety and real-time behavior, and the need to reduce development and operation costs. This book provides a comprehensive overview of the Software Platform Embedded Systems (SPES) modeling framework and demonstrates its applicability in embedded system development in various industry domains such as automation, automotive, avionics, energy, and healthcare....

Advances onto the Internet of Things
  • Language: en
  • Pages: 349

Advances onto the Internet of Things

The title of this book is a pun on the use of the preposition “onto” with the aim of recalling “Ontology”, the term commonly adopted in the computer science community to indicate the study of the formal specification for organizing knowledge. In the field of knowledge engineering, Ontologies are used for modeling concepts and relationships on some domain. The year 2013 celebrates the twentieth anniversary of the World Wide Web. The simple network of hypermedia has transformed the world of communications with enormous implications on the social relationships. However, traditional World Wide Web is currently experiencing a challenging evolution toward the Internet of Things (IoT), toda...

Software Technologies: Applications and Foundations
  • Language: en
  • Pages: 491

Software Technologies: Applications and Foundations

  • Type: Book
  • -
  • Published: 2016-11-29
  • -
  • Publisher: Springer

This book contains the thoroughly refereed technical papers presented in six workshops collocated with the International Conference on Software Technologies: Applications and Foundations, STAF 2016, held in Vienna, Austria, in July 2016. The six workshops whose papers are included in this volume are: DataMod, GCM, HOFM, MELO, SEMS, and VeryComp. The 33 full and 3 short papers presented were carefully reviewed and selected from 53 submissions. They focus on practical and foundational advances in software technology covering a wide range of aspects including formal foundations of software technology, testing and formal analysis, graph transformations and model transformations, model driven engineering, and tools.

Semantic Models for Adaptive Interactive Systems
  • Language: en
  • Pages: 210

Semantic Models for Adaptive Interactive Systems

Providing insights into methodologies for designing adaptive systems based on semantic data, and introducing semantic models that can be used for building interactive systems, this book showcases many of the applications made possible by the use of semantic models. Ontologies may enhance the functional coverage of an interactive system as well as its visualization and interaction capabilities in various ways. Semantic models can also contribute to bridging gaps; for example, between user models, context-aware interfaces, and model-driven UI generation. There is considerable potential for using semantic models as a basis for adaptive interactive systems. A variety of reasoning and machine lea...

Formal and Practical Aspects of Autonomic Computing and Networking: Specification, Development, and Verification
  • Language: en
  • Pages: 445

Formal and Practical Aspects of Autonomic Computing and Networking: Specification, Development, and Verification

  • Type: Book
  • -
  • Published: 2011-10-31
  • -
  • Publisher: IGI Global

Autonomic computing and networking (ACN), a concept inspired by the human autonomic system, is a priority research area and a booming new paradigm in the field. Formal and Practical Aspects of Autonomic Computing and Networking: Specification, Development, and Verification outlines the characteristics, novel approaches of specification, refinement, programming and verification associated with ACN. The goal of ACN and the topics covered in this work include making networks and computers more self-organized, self- configured, self-healing, self-optimizing, self-protecting, and more. This book helpfully details the steps necessary towards realizing computer and network autonomy and its implications.

Software Architecture
  • Language: en
  • Pages: 339

Software Architecture

This book constitutes the refereed proceedings of the 15th International Conference on Software Architecture, ECSA 2021, held in Sweden, in September 2021. Due to the COVID-19 pandemic, the conference was held virtually. For the Research Track, 11 full papers, presented together with 5 short papers, were carefully reviewed and selected from 58 submissions. The papers are organized in topical sections as follows: architectures for reconfigurable and self-adaptive systems; machine learning for software architecture; architectural knowledge, decisions, and rationale; architecting for quality attributes; architecture-centric source code analysis; and experiences and learnings from industrial case studies.

Tests and Proofs
  • Language: en
  • Pages: 223

Tests and Proofs

  • Type: Book
  • -
  • Published: 2014-07-07
  • -
  • Publisher: Springer

This book constitutes the refereed proceedings of the 8th International Conference on Tests and Proofs, TAP 2014, held in York, UK, in July 2014, as part of the STAF 2014 Federated Conferences. The 10 revised full papers and 4 short papers presented together with two tutorial descriptions were carefully reviewed and selected from 27 submissions. The papers cover topics in the following four research areas: test generation, bridging semantic gaps, integrated development processes and bounded verification.

Requirements Engineering: Foundation for Software Quality
  • Language: en
  • Pages: 347

Requirements Engineering: Foundation for Software Quality

  • Type: Book
  • -
  • Published: 2015-03-13
  • -
  • Publisher: Springer

This book constitutes the refereed proceedings of the 20th International Working Conference on Requirements Engineering: Foundation for Software Quality, REFSQ 2014, held in Essen, Germany, in April 2013. The 23 papers presented together with 1 keynote were carefully reviewed and selected from 62 submissions. The REFSQ'15 conference is organized as a three-day symposium. The REFSQ'15 has chosen a special conference theme “I heard it first at RefsQ”. Two conference days were devoted to presentation and discussion of scientific papers. The two days connect to the conference theme with a keynote, an invited talk and poster presentations. There were two parallel tracks on the third day: the Industry Track and the new Research Methodology Track. REFSQ 2015 seeks reports of novel ideas and techniques that enhance the quality of RE’s products and processes, as well as reflections on current research and industrial RE practices.