Software metrics are a valuable tool in helping software engineers to develop large, complex software systems. However, it is vital that transparency and precision are maintained at all stages. We contend that without grammars we cannot define metrics rigorously, without transparent and powerful parsing tools we cannot collect data accurately and without flexible configurable visualisation we c...

There is a steady shift in e-commerce from goods to services that must be provisioned according to service agreements. This study focuses on software frameworks to develop automated negotiators in open commerce environments. Analysis of the literature on automated negotiation and typical case studies led to a catalog of 16 objective requirements and a conceptual model that was used to compare 1...

We present a method for performing model checking of imperative programs by using techniques based on the specialization of constraint logic programs (CLP). We have considered a simple imperative language, called SIMP, extended with a nondeterministic choice operator, and we have introduced a CLP interpreter which defines the operational semantics of SIMP. Our software model checking method whi...

The authors have written the Ethics and Big Data Charter in collaboration with various agencies, private bodies and associations. This Charter aims at describing any large or complex resources, and in particular language resources, from a legal and ethical viewpoint and ensuring the transparency of the process of creating and distributing such resources. We propose in this article an analysis o...

This paper presents FunFrog, a tool that implements a function summarization approach for software bounded model checking. It uses interpolationbased function summaries as over-approximation of function calls. In every successful verification run, FunFrog generates function summaries of the analyzed program functions and reuses them to reduce the complexity of the successive verification. To pr...

As Internet connectivity grows executing untrusted code becomes an increasingly serious threat. Public Key Infrastructure (PKI) and digital signatures offer some degree of protection, but are only part of a solution. In this paper we propose a mechanism of forcing applications to “declare what they intend to do” by means of an abstract behavioural model. A monitoring process is employed to dyna...

Recent work demonstrates the importance of developing high quality output in order to compete in export markets and other recent studies verify the prevalence of fixed and ongoing trade costs while participating in those markets. I consider the joint choice of quality and export promotion costs when trade relationships are subject to temporary disputes. When transparency is low and macroeconomi...

Yet, we face the grim reality that a model is a focused representation of the world, and it is always a result of several compromises in terms of details and structure, leading to trade-offs in terms of complexity, flexibility and performance. This trade-off becomes an essential design property. We often wish our models to be as simple as possible, balancing transparency, understandability and ...

A novel stereoscopic image rendering method for autostereoscopic mobile devices is presented in this paper. The system to implement the proposed method consists of autostereoscopic display system and the stereoscopic rendering software engine for mobile devices. First, we mount a parallax barrier, which is made by a twisted nematic (TN) panel, on the liquid crystal display (LCD) to display ster...

The development of Computer Aided Learning software (CAL) calls for a large scale project if one does not want to limit oneself to lessons of purely personal utility. In our opinion, the development of such software is a team effort. The most common approach in this field is to use authoring languages, imposing a rather rigid framework on their users. As opposed to this approach, we have chosen...