Filters








885,465 Hits in 8.7 sec

Measuring interaction design before building the system

Giorgio Brajnik, Simon Harper
2016 Proceedings of the 8th ACM SIGCHI Symposium on Engineering Interactive Computing Systems - EICS '16  
We present a tool (MIGTool) that transforms models of the behavior of a user interface into a graph, upon which usage scenarios can be easily specified, and used by MIGTool to compute possible interaction  ...  With MIGTool the exploration of suitability of a design with respect to different scenarios, or comparison of different design alternatives against a single scenario, can be done with just a partial specification  ...  a design before building any UI prototype.  ... 
doi:10.1145/2933242.2933246 dblp:conf/eics/BrajnikH16 fatcat:avj5vpo7jzeofcvxnlc35w672a

A model-based approach for gesture interfaces

Lucio Davide Spano
2011 Proceedings of the 3rd ACM SIGCHI symposium on Engineering interactive computing systems - EICS '11  
This work envisions the application of model-based approaches for the engineering of gesture user interfaces, in order to provide the designer with a comprehensive theoretical framework for usage-centred  ...  The interaction technologies had substantial enhancements in later years, with the introduction of devices whose capabilities changed the way people interact with games and mobile devices.  ...  The gesture modality will be integrated as a platform into the MARIA XML [6] modelling language. A platform is a hardware and software configuration that allows the interaction with a system.  ... 
doi:10.1145/1996461.1996548 dblp:conf/eics/Spano11 fatcat:a2vyi7rgcfavldcmhk5vpptkk4

ActivFORMS: A Formally-Founded Model-Based Approach to Engineer Self-Adaptive Systems [article]

Danny Weyns, M. Usman Iftikhar
2022 arXiv   pre-print
ActivFORMS contributes an end-to-end approach for engineering self-adaptive systems, spanning four main stages of the life cycle of a feedback loop: design, deployment, runtime adaptation, and evolution  ...  We also present ActivFORMS-ta, a tool-supported instance of ActivFORMS that leverages timed automata models and statistical model checking at runtime.  ...  We also appreciate the feedback we received from Axel Legay.  ... 
arXiv:1908.11179v3 fatcat:2erkrwordnaljgaxrrg3trlbxa

Modeling Physical Systems [chapter]

Walid M. Taha, Abd-Elhamid M. Taha, Johan Thunberg
2020 Cyber-Physical Systems: A Model-Based Approach  
Taha et al., Cyber-Physical Systems: A Model-Based Approach, https://doi.  ...  How can we use math to predict the behavior of physical systems?  ...  To understand these systems and to build the skills required to develop new innovations we need to have some experience with modeling physical systems.  ... 
doi:10.1007/978-3-030-36071-9_2 fatcat:ym6akcqarnahxnr6v6mew2nzhm

A Role-Based Access Control Model in Modbus SCADA Systems. A Centralized Model Approach

Figueroa-Lorenzo, Añorga, Arrizabalaga
2019 Sensors  
From the security specifications, this study addresses the security problems of the Modbus protocol, proposing a new secure version of a role-based access control model (RBAC), in order to authorize both  ...  Our proposal is evaluated through two approaches: A security analysis and a performance analysis.  ...  Conflicts of Interest: The authors declare no conflict of interest.  ... 
doi:10.3390/s19204455 pmid:31615147 pmcid:PMC6832255 fatcat:4mjc2xgke5ddnch677pad5zkry

A Contextual Modeling Approach for Model-Based Recommender Systems [chapter]

Ignacio Fernández-Tobías, Pedro G. Campos, Iván Cantador, Fernando Díez
2013 Lecture Notes in Computer Science  
Moreover, we report empirical results evaluating our approach in the movie and music domains, which show that enhancing model-based recommender systems with time, location and social companion information  ...  In this paper we present a contextual modeling approach for modelbased recommender systems that integrates and exploits both user preferences and contextual signals in a common vector space.  ...  a proposed contextual modeling approach lets improve the performance of a number of model-based recommender systems.  ... 
doi:10.1007/978-3-642-40643-0_5 fatcat:2d3grfqt6jdqpmgpikr3rgdqwy

Verifying Stochastic Behaviors of Decentralized Self-Adaptive Systems: A Formal Modeling and Simulation Based Approach [article]

Nianyu Li, Di Bai, Zhuoqun Yang, Wenpin Jiao
2017 arXiv   pre-print
Self-adaptive software is considered as the most advanced approach and its development attracts a lot of attention.  ...  To solve these problems, we combine the mechanisms of separation of concerns with modeling method using timed automata to allow the system to be analyzed and verified.  ...  Approach overview Phase one: Analyze and design the components (or subsystems) of a decentralized self-adaptive system and the interactions among the components.  ... 
arXiv:1706.08271v2 fatcat:3vzzsgf6xvc7fdewppkuqdqz3u

What is a Cyber-Physical System? [chapter]

Walid M. Taha, Abd-Elhamid M. Taha, Johan Thunberg
2020 Cyber-Physical Systems: A Model-Based Approach  
Our Destiny We live in a world that is changing at a much faster pace than ever before.  ...  Next, we explain how the field of CPS brings together several previously distinct fields such as Embedded Systems, Control Theory, and Mechatronics.  ...  While building a robot can often require significant time, space, and financial resources, we can use model-based design and simula-tion techniques to produce a comprehensive blueprint and significantly  ... 
doi:10.1007/978-3-030-36071-9_1 fatcat:4h2suetkubegho624ihf6wo3ji

A model-based approach for assessment and motivation

Michael Spector, Chanmin Kim
2012 Computer Science and Information Systems  
The emphasis is on interaction with meaningful problems.  ...  First we briefly review the research literature about cognition and processing internal mental models. The emphasis is on the role that mental models play in critical reasoning and problem solving.  ...  Model-facilitated learning (MFL) is an instructional design approach aimed explicitly at promoting model-based reasoning.  ... 
doi:10.2298/csis111226016s fatcat:vdjlsmhiovfblkbq56fuj2yeam

A relationship-based approach to model integration

Marsha Chechik, Shiva Nejati, Mehrdad Sabetzadeh
2011 Innovations in Systems and Software Engineering  
A key problem in model-based development is integrating a collection of models into a single, larger, specification as a way to construct a functional system, to develop a unified understanding, or to  ...  In this article, we suggest that the choice of a particular model integration operator depends on the inter-model relationships that hold between individual models.  ...  The first author is grateful to the organizers of MOMPES'09 for their invitation to give a keynote address, and for excellent discussions that took place at the workshop.  ... 
doi:10.1007/s11334-011-0155-2 fatcat:6qrxptktozd5jgp2v3ibk2zzwm

A Domain-Specific, Model Based Systems Engineering Approach for Cyber-Physical Systems

Christian Neureiter, Christoph Binder
2022 Systems  
Model Based Systems Engineering as a scientific discipline tries to address the increasing complexity of today's cyber-physical systems by utilizing different kinds of models.  ...  In practical application, however, this approach is often constrained to SysML-based object modeling.  ...  Acknowledgments: The financial support by the Austrian Federal Ministry for Digital and Economic Affairs and the National Foundation for Research, Technology and Development and the Christian Doppler Research  ... 
doi:10.3390/systems10020042 fatcat:q22jlq6vxvdbbcejx6e5ooz6mq

A model-based approach to self-adaptive software

G. Karsai, J. Sztipanovits
1999 IEEE Intelligent Systems and their Applications  
Here we describe our model-based approach to building self-adaptive software systems.  ...  In our model-based approach, domain-specific, multiple-view models 3 represent the computer application, its environment,  ...  Acknowledgment This work is supported by the US Defense Advanced Research Projects Agency/ITO EDCS program (F30602-96-2-0227), the US Air Force Arnold Engineering Development Center, the Boeing Company  ... 
doi:10.1109/5254.769884 fatcat:icwll5aeqjeyha5gwpuhflthyq

A model based approach to system of systems risk management

Andrew Kinder, Michael Henshaw, Carys Siemieniuch
2015 2015 10th System of Systems Engineering Conference (SoSE)  
Supporting models run in Monte Carlo Simulations allowed data to be generated from which A Model Based Approach to System of Systems Risk Management v  ...  In order to fill the gap identified in current knowledge, this research proposed a new model based approach to Risk Management where risk identification was supported by a framework, which combined SoS  ...  Robert Garrett, Chief Engineer for Modelling and Simulation at the Missile Defence Agency, for his encouragement and invaluable input to this paper.  ... 
doi:10.1109/sysose.2015.7151940 dblp:conf/sysose/KinderHS15 fatcat:slnnxd3ez5ddffqwmjfzd7avya

Applying a Model-based Approach for Embedded System Development

Christian Bunse, Hans-Gerhard Gross, Christian Peper
2007 33rd EUROMICRO Conference on Software Engineering and Advanced Applications (EUROMICRO 2007)  
For investigating to which extent model-based development is feasible for embedded system development, we conducted a case study in which a small embedded system is developed using the MARMOT approach.  ...  Model-based and component-oriented software development approaches are slowly superseding traditional ways of developing embedded systems.  ...  There are two research routes: Formal modeling languages for embedded system design, and non-formal approaches using standard notations such as UML.  ... 
doi:10.1109/euromicro.2007.18 dblp:conf/euromicro/BunseGP07 fatcat:uzojwsc4azh3xmdi4cfbpqdtj4

Assessing health system performance: A model-based approach

John Gerring, Strom C. Thacker, Ruben Enikolopov, Julián Arévalo, Matthew Maguire
2013 Social Science and Medicine  
To address this recurring problem, we offer a model-based approach for assessing health system performance.  ...  A model-based procedure allows one to focus on the degree to which health systems have lived up to their potential.  ...  To address this recurring problem, we offer a model-based approach for assessing health system performance.  ... 
doi:10.1016/j.socscimed.2013.06.002 pmid:23906117 fatcat:o6stj3o2vfhszjbbcnzef5vobu
« Previous Showing results 1 — 15 out of 885,465 results