Preemptive Anomaly Prediction in IoT Components (short paper). | 0 | 0.34 | 2021 |
Adaptation Space Reduction Using an Explainable Framework | 0 | 0.34 | 2021 |
An Explainable Deep Learning Approach for Adaptation Space Reduction | 0 | 0.34 | 2020 |
Using simulated annealing for locating array construction | 0 | 0.34 | 2020 |
Finding Minimum Locating Arrays Using a CSP Solver /> | 0 | 0.34 | 2020 |
An Automated Goal Labeling Method Based on User Reviews. | 0 | 0.34 | 2020 |
Interactive Goal Model Construction Based On A Flow Of Questions | 0 | 0.34 | 2020 |
A model transformation approach to constructing agent-oriented design models for CPS/IoT systems | 0 | 0.34 | 2020 |
Goal Model Construction Based on User Review Classification. | 0 | 0.34 | 2019 |
Self-Adaptation for Heterogeneous Client-Server Online Games. | 1 | 0.36 | 2019 |
Expression caching for runtime verification based on parameterized probabilistic models. | 1 | 0.35 | 2019 |
A Document-based Parameter Correlation Metric for Test Design (S). | 0 | 0.34 | 2018 |
Improvement of User Review Classification Using Keyword Expansion (S). | 0 | 0.34 | 2018 |
A Framework for Updating Functionalities Based on the MAPE Loop Mechanism | 0 | 0.34 | 2018 |
Verification of CPS Based on Control Loop Using Model Checking | 0 | 0.34 | 2018 |
A Template System for Modeling and Verifying Agent Behaviors. | 0 | 0.34 | 2018 |
A Tool to Edit and Verify IoT System Architecture Model. | 0 | 0.34 | 2017 |
A visualization of specification coverage based on document similarity. | 2 | 0.42 | 2017 |
Finding Minimum Locating Arrays Using a SAT Solver | 6 | 0.45 | 2017 |
Visualization of Specification Coverage: A Case Study of a Web Application Development in Industry | 0 | 0.34 | 2017 |
A Search-Based Constraint Elicitation In Test Design | 0 | 0.34 | 2016 |
Iterative Improvement Of Human Pose Classification Using Guide Ontology | 0 | 0.34 | 2016 |
Towards Automatic Constraint Elicitation in Test Design: Preliminary Evaluation Based on Collective Intelligence. | 1 | 0.36 | 2015 |
Towards Automatic Requirements Elicitation from Feedback Comments: Extracting Requirements Topics Using LDA. | 2 | 0.50 | 2015 |
Towards Self-Adaptation on Real-World Hardware: A Preliminary Lightweight Programming Framework | 2 | 0.42 | 2015 |
An Experimental Evaluation on Runtime Verification of Self-adaptive Systems in the Presence of Uncertain Transition Probabilities. | 0 | 0.34 | 2015 |
A MAPE Loop Control Pattern for Heterogeneous Client/Server Online Games. | 0 | 0.34 | 2014 |
Locating a Faulty Interaction in Pair-wise Testing | 6 | 0.51 | 2014 |
Towards Software Evolution for Embedded Systems Based on MAPE Loop Encapsulation | 0 | 0.34 | 2014 |
Transformation approach from KAOS goal models to BPMN models using refinement patterns | 1 | 0.40 | 2014 |
Identification of Flaming and Its Applications in CGM - Case Studies toward Ultimate Prevention. | 0 | 0.34 | 2014 |
Applying Parameter Value Weighting to a Practical Application | 0 | 0.34 | 2014 |
Surprising Recipe Extraction based on Rarity and Generality of Ingredients. | 0 | 0.34 | 2014 |
Music Recommender Adapting Implicit Context Using 'renso' Relation among Linked Data. | 2 | 0.43 | 2014 |
A goal model elaboration for localizing changes in software evolution | 4 | 0.62 | 2013 |
Towards solving an obstacle problem by the cooperation of UAVs and UGVs | 0 | 0.34 | 2013 |
Support for Video Hosting Service Users Using Folksonomy and Social Annotation | 0 | 0.34 | 2012 |
gocc: a configuration compiler for self-adaptive systems using goal-oriented requirements description | 10 | 0.56 | 2011 |
A framework for validating task assignment in multiagent systems using requirements importance | 1 | 0.35 | 2010 |
Cooperative Behaviors Description for Self-* Systems Implementation | 2 | 0.36 | 2010 |
Analysis of multi-agent systems based on KAOS modeling | 9 | 0.63 | 2006 |