the requirement for higher security and dependability of systems is continuously increasing even in domains not traditionally deeply involved in such issues. Yet, evolution of embedded systems towards devices connecte...
详细信息
ISBN:
(纸本)9783642244841;9783642244858
the requirement for higher security and dependability of systems is continuously increasing even in domains not traditionally deeply involved in such issues. Yet, evolution of embedded systems towards devices connected via Internet, wireless communication or other interfaces requires a reconsideration of secure and trusted embedded systems engineering processes. In this paper, we propose an approach that associates model driven engineering (MDE) and formal validation to build security and dependability (S&D) patterns for trusted RCES applications. the contribution of this work is twofold. On the one hand, we use model-based techniques to capture a set of artifacts to encode S&D patterns. On the other hand, we introduce a set of artifacts for the formal validation of these patterns in order to guarantee their correctness. the formal validation in turn follows the the MDE process and thus links concrete validation results to the S&D requirements identified at higher levels of abstraction.
A lot of people who live with a loss of autonomy related to ageing or disease benefit from the daily support of some of their relatives in order to perform their day-to-day duties (waking up in the morning, shopping, ...
详细信息
MDE and software evolution call for model-level design support, that includes reasoning capabilities such as query answering, verification and validation, static analysis and model transformation. Automation of all ac...
详细信息
ISBN:
(纸本)9781450309141
MDE and software evolution call for model-level design support, that includes reasoning capabilities such as query answering, verification and validation, static analysis and model transformation. Automation of all activities requires wellde fined semantics for models. this is particularly important for the class diagram model, which is central in UML. However, since UML specification is verbal and imprecise, the exact meaning of many class diagram constructs and their interaction is still obscure. there are major problems withthe inter-association constraints subsets, union, redefinition, as- sociation specialization, association-class specialization and XOR. Although their standard semantics is ambiguous and their interaction unclear, the UML meta-model intensively uses these constraints. Moreover, some of these interactions have been declared in the UML meta-model as variation points. the paper discusses possible semantics of inter-association constraints (subsets, union, redefinition and association-class specialization), analyzes their interaction, and suggests coherent semantics that minimizes contradictions withthe metamodel (association specialization and XOR are left out, due to space limitations). the paper also introduces rules that enforce model correctness. this paper is the first to provide an inclusive analysis of all inter-association constraints. Copyright 20XX ACM.
Top down perceptual processing implies that much of what we perceive is based on prior knowledge and expectation. It has been argued that such processing is why Virtual Reality works at all - the brain filling in miss...
详细信息
the proceedings contain 118 papers. the topics discussed include: study on precision irrigation technology of large scale irrigator;an improved rotation-based self-calibration;a fuzzy background model for moving objec...
ISBN:
(纸本)9781424437009
the proceedings contain 118 papers. the topics discussed include: study on precision irrigation technology of large scale irrigator;an improved rotation-based self-calibration;a fuzzy background model for moving object detection;EMD based fairing algorithm for mesh surface;curve representing and matching based on feature points and minimal area threshold;using OPTFR-multiwavelet to improve the fusion of infrared and visible images;texture analyze based on coefficients' relationship co-occurrence histogram;semi-similarity design of motorcycle-hydraulic-disk brake: strategy and application;a collaborative design frame based on virtual prototypes and virtual manufacturing;efficient and robust reconstruction of botanical branching structure from laser scanned points;ant colony optimization for symmetrical FPGA placement;and design of a human-robot interaction system for offshore monitoring.
the paper summarizes the experiences nad research at the Faculty of Architecture, Slovak University of Technology in Bratislava (FA STU) withthe issue of utilization of modern ICT tools in the architectural and urban...
详细信息
the paper summarizes the experiences nad research at the Faculty of Architecture, Slovak University of Technology in Bratislava (FA STU) withthe issue of utilization of modern ICT tools in the architectural and urban design education. the emphasize lays in the architectural and urban design studios as the core subjects of education in the field.
this volume constitutes the refereed proceedings of the 4thinternationalconference on internationalization, design and Global Development, IDGD 2011, held in Orlando, FL, USA, in July 2011 in the framework of the 14...
ISBN:
(数字)9783642216602
ISBN:
(纸本)9783642216596
this volume constitutes the refereed proceedings of the 4thinternationalconference on internationalization, design and Global Development, IDGD 2011, held in Orlando, FL, USA, in July 2011 in the framework of the 14thinternationalconference on Human-computer Interaction, HCII 2011. the 71 revised papers presented were carefully reviewed and selected from numerous submissions. the papers accepted for presentation thoroughly cover the entire field of internationalization, design and global development and address the following major topics: Cultural and cross-cultural design, culture and usability, design, emotion, trust and aesthetics, cultural issues in business and industry, culture, communication and society.
In this modern age of technology advancement, the computers have played a pivotal role in bringing a revolution to all the fields including teaching and learning. Learning a new programming language is not an easy tas...
详细信息
In this modern age of technology advancement, the computers have played a pivotal role in bringing a revolution to all the fields including teaching and learning. Learning a new programming language is not an easy task as beginners often face problems in understanding the syntax, semantics and logic of the new language. Books are not sufficient to clear concepts and some alternate methods of learning are required. As computeraided Learning Software (CALS) has proven to improve the teaching and learning process, therefore, we propose software, “Programming Teaching Aid”, which facilitates teachers as well as self-learners to learn a new language. It has an easy to use graphical user interface (GUI) which helps the user in understanding a pre-written code to be learnt or understood. the language being focused is C++. the proposed software truly supports the pedagogical methodologies. the use of this software will make the learning of C++ language more effective and instill self-study skills among students.
the paper describes a pilot study of perceptual interactions among visual, vestibular, and tactile stimulations for enhancing the sense of presence and naturalness for ultra-realistic sensations. In this study, we foc...
详细信息
the purpose of this study is to propose the design approach designing the product that causes laughter. Author believes this product helps to reduce various stresses by laughter. Modern people tend to be emotionally u...
详细信息
暂无评论