Software development organisations are paying more and more attention to the usability of their software products. To raise the usability level of the software product, it is nece...
This report details part of the results of five software audits that were done to evaluate various aspects of the quality in five very big software projects. One result of our work...
Various results show that oblivious transfer can be implemented using the assumption of noisy channels. Unfortunately, this assumption is not as weak as one might think, because i...
The development of programming skills is a motivating issue in computer science. Programming languages have been increasingly used to map end-users needs and mental models. The nu...
Heuristics are widely used for solving computational intractable synthesis problems. However, until now, there has been limited effort to systematically develop heuristics that ca...
Zhiru Zhang, Yiping Fan, Miodrag Potkonjak, Jason ...