Now showing items 1-5 of 5
Trace Checking for Dynamic Software Product Lines
A key objective of self-adaptive systems is to continue to provide optimal quality of service when the environment changes. A dynamic software product line (DSPL) can benefit from knowing how its various product variants ...
Learning Filters for the 2D Wavelet Transform
We propose a new method for learning filters for the 2D discrete wavelet transform. We extend our previous work on the 1D wavelet transform in order to process images. We show that the 2D wavelet transform can be represented ...
Personalizing Persuasive Strategies in Gameful Systems to Gamification User Types
(Association for Computing Machinery, 2018-04-21)
Persuasive gameful systems are effective tools for motivating behaviour change. Research has shown that tailoring these systems to individuals can increase their efficacy; however, there is little knowledge on how to ...
A Study of Immediate Requery Behavior in Search
(Association for Computing Machinery, 2018-03-11)
When search results fail to satisfy users' information needs, users often reformulate their search query in the hopes of receiving better results. In many cases, users immediately requery without clicking on any search ...
An Empirical Investigation to Understand the Difficulties and Challenges of Software Modellers When Using Modelling Tools
Software modelling is a challenging and error-prone task. Existing Model-Driven Engineering (MDE) tools provide modellers with little aid, partly because tool providers have not investigated users' difficulties through ...