Model-Based Methodologies for Pervasive and Embedded Software

Model-Based Methodologies for Pervasive and Embedded Software
Author: Ricardo J. Machado
Publisher: Springer
Total Pages: 146
Release: 2013-11-18
Genre: Computers
ISBN: 3642382096

This book constitutes the thoroughly refereed post-conference proceedings of the 8th International Workshop on Model-Based Methodologies for Pervasive and Embedded Software, MOMPES 2012, held in Essen, Germany, in September 2012. The 7 revised full papers presented together with 1 short papers were carefully reviewed and selected from 16 submissions. The papers cover a large spectrum of topics including model-driven engineering, model analysis, runtime verification, modeling of reactive systems, variability modeling, and domain-specific languages.

Model-Driven Development of Advanced User Interfaces

Model-Driven Development of Advanced User Interfaces
Author: Heinrich Hussmann
Publisher: Springer Science & Business Media
Total Pages: 320
Release: 2011-01-16
Genre: Computers
ISBN: 3642145612

Model-Driven Development (MDD) has become an important paradigm in software development. It uses models as primary artifacts in the development process. This book provides an outstanding overview as well as deep insights into the area of model-driven development of user interfaces, which is an emerging topic in the intersection of Human-Computer-Interaction and Software-Engineering. The idea of this book is based on the very successful workshop series of “Model-Driven Development of Advanced User Interfaces (MDDAUI)”. It has been written by the leading researchers and practitioners in the field of model-driven development of user interfaces and offer a variety of solutions and examples for • Architectures and environments for the generation of user interfaces • User interface development for specific domains and purposes • Model-driven development in the context of ambient intelligence • Concepts supporting model-driven development of user interfaces

Information Retrieval and Mining in Distributed Environments

Information Retrieval and Mining in Distributed Environments
Author: Alessandro Soro
Publisher: Springer
Total Pages: 292
Release: 2010-10-08
Genre: Technology & Engineering
ISBN: 3642160891

At DART'09, held in conjunction with the 2009 IEEE/WIC/ACM International Conference on Web Intelligence (WI 2009) and Intelligent Agent Technology (IAT 2009) in Milan (Italy), practitioners and researchers working on pervasive and intelligent access to web services and distributed information retrieval met to compare their work ad insights in such fascinating topics. Extended and revised versions of their papers, together with selected and invited original contributions, are collected in this book. Topics covered are those that emerged at DART'09 as the most intriguing and challenging: (i) community oriented tools and techniques as infrastructure of the Web 2.0; (ii) agent technology applied to virtual world scenarios; (iii) context aware information retrieval; (iv) content based information retrieval; and (v) industrial applications of information retrieval. Every chapter, before discussing in depth the specific topic, presents a comprehensive review of related work and state of the art, in the hope of this volume to be of use in the years to come, to both researchers and students.

Model Driven Engineering Languages and Systems

Model Driven Engineering Languages and Systems
Author: Dorina C. Petriu
Publisher: Springer
Total Pages: 440
Release: 2010-09-22
Genre: Computers
ISBN: 3642161294

The MODELS series of conferences is the premier venue for the exchange of - novative technical ideas and experiences focusing on a very important new te- nical discipline: model-driven software and systems engineering. The expansion ofthisdisciplineisadirectconsequenceoftheincreasingsigni?canceandsuccess of model-based methods in practice. Numerous e?orts resulted in the invention of concepts, languagesand tools for the de?nition, analysis,transformation, and veri?cationofdomain-speci?cmodelinglanguagesandgeneral-purposemodeling language standards, as well as their use for software and systems engineering. MODELS 2010, the 13th edition of the conference series, took place in Oslo, Norway, October 3-8, 2010, along with numerous satellite workshops, symposia and tutorials. The conference was fortunate to have three prominent keynote speakers: Ole Lehrmann Madsen (Aarhus University, Denmark), Edward A. Lee (UC Berkeley, USA) and Pamela Zave (AT&T Laboratories, USA). To provide a broader forum for reporting on scienti?c progress as well as on experience stemming from practical applications of model-based methods, the 2010 conference accepted submissions in two distinct tracks: Foundations and Applications. The primary objective of the ?rst track is to present new research results dedicated to advancing the state-of-the-art of the discipline, whereas the second aims to provide a realistic and veri?able picture of the current state-- the-practice of model-based engineering, so that the broader community could be better informed of the capabilities and successes of this relatively young discipline. This volume contains the ?nal version of the papers accepted for presentation at the conference from both tracks.

Aspect-oriented Software Development

Aspect-oriented Software Development
Author: Robert E. Filman
Publisher: Addison-Wesley Professional
Total Pages: 804
Release: 2005
Genre: Computers
ISBN:

The definitive reference on the emerging and dynamic field of Aspect - Oriented Software Development (AOSD).

Soft Computing for Intelligent Control and Mobile Robotics

Soft Computing for Intelligent Control and Mobile Robotics
Author: Oscar Castillo
Publisher: Springer Science & Business Media
Total Pages: 475
Release: 2010-10-05
Genre: Computers
ISBN: 3642155332

This book describes in a detailed fashion the application of hybrid intelligent systems using soft computing techniques for intelligent control and mobile robotics. Soft Computing (SC) consists of several intelligent computing paradigms, including fuzzy logic, neural networks, and bio-inspired optimization algorithms, which can be used to produce powerful hybrid intelligent systems. The prudent combination of SC techniques can produce powerful hybrid intelligent systems that are capable of solving real-world problems. This is illustrated in this book with a wide range of applications, with particular emphasis in intelligent control and mobile robotics. The book is organized in five main parts, which contain a group of papers around a similar subject. The first part consists of papers with the main theme of theory and algorithms, which are basically papers that propose new models and concepts, which can be the basis for achieving intelligent control and mobile robotics. The second part contains papers with the main theme of intelligent control, which are basically papers using bio-inspired techniques, like evolutionary algorithms and neural networks, for achieving intelligent control of non-linear plants. The third part contains papers with the theme of optimization of fuzzy controllers, which basically consider the application of bio-inspired optimization methods to automate the de-sign process of optimal type-1 and type-2 fuzzy controllers. The fourth part contains papers that deal with the application of SC techniques in times series prediction and intelligent agents. The fifth part contains papers with the theme of computer vision and robotics, which are papers considering soft computing methods for applications related to vision and robotics.

Aspect-oriented Analysis and Design

Aspect-oriented Analysis and Design
Author: Siobhán Clarke
Publisher: Addison-Wesley Professional
Total Pages: 404
Release: 2005
Genre: Computers
ISBN:

An introduction for developers who need practical information to make the significant shift to aspect-oriented development.

MOMPES 2008

MOMPES 2008
Author: Ricardo J. Machado
Publisher: IEEE
Total Pages: 92
Release: 2008-01-01
Genre: Computers
ISBN: 9780769531045

"IEEE Computer Society order number P3104"-- t.p. verso.

[email protected]

Models@run.time
Author: Nelly Bencomo
Publisher: Springer
Total Pages: 319
Release: 2014-07-18
Genre: Computers
ISBN: 9783319089140

Traditionally, research on model-driven engineering (MDE) has mainly focused on the use of models at the design, implementation, and verification stages of development. This work has produced relatively mature techniques and tools that are currently being used in industry and academia. However, software models also have the potential to be used at runtime, to monitor and verify particular aspects of runtime behavior, and to implement self-* capabilities (e.g., adaptation technologies used in self-healing, self-managing, self-optimizing systems). A key benefit of using models at runtime is that they can provide a richer semantic base for runtime decision-making related to runtime system concerns associated with autonomic and adaptive systems. This book is one of the outcomes of the Dagstuhl Seminar 11481 on [email protected] held in November/December 2011, discussing foundations, techniques, mechanisms, state of the art, research challenges, and applications for the use of runtime models. The book comprises four research roadmaps, written by the original participants of the Dagstuhl Seminar over the course of two years following the seminar, and seven research papers from experts in the area. The roadmap papers provide insights to key features of the use of runtime models and identify the following research challenges: the need for a reference architecture, uncertainty tackled by runtime models, mechanisms for leveraging runtime models for self-adaptive software, and the use of models at runtime to address assurance for self-adaptive systems.

2016 IEEE 3rd World Forum on Internet of Things (WF IoT)

2016 IEEE 3rd World Forum on Internet of Things (WF IoT)
Author: IEEE Staff
Publisher:
Total Pages:
Release: 2016-12-12
Genre:
ISBN: 9781509041305

The IEEE Internet of Things Conference Technologies, Applications and Social Implications is a unique event for industry leaders, academics and decision making government officials This event is designed to examine key critical innovations across technologies which will alter the research and application space of the future The Internet of Things envisions a highly networked future, where every object is intergrated to interact with each other, allowing for communications between objects, as well as between humans and objects, which enables the control of intelligent systems in our daily lives