Social interactions among a group of friends will typically
have a certain recurring rhythm. Most people interact with
their own circle of friends at a range of different rates, and
through a range of different modalities ...
This paper presents a study of the software development processes of very small software companies, with a focus on the company’s Software Process Improvement (SPI) activities. SPI has gained an increasing importance in ...
Feature interaction describes a situation where the combination of two or more services that individually perform correctly results in unexpected and possibly adverse behaviour. Such feature interaction issues have first ...
While it is desirable for all computing and communications systems to have well-defined and verifiable behaviour, autonomic systems must additionally guarantee that their adaptive behaviour is correct, both in the sense ...
Traits offer a fine-grained mechanism to compose classes from reusable components
while avoiding problems of fragility brought by multiple inheritance and mixins. Traits as originally proposed are stateless, that is, they ...
It has previously been shown by Turchin in the context of
supercompilation how metasystem transitions can be used in the proof
of universally and existentially quantified conjectures. Positive supercompilation
is a ...
The Model-to-Model (M2M) transformation stage in a Model-Driven Engineering (MDE) tool chain is used to bridge the large semantic gap between problem-domain abstractions and software artefacts. This transformation is ...
Mobile ad hoc networks rely on the opportunistic interaction of autonomous nodes to form networks without the use of infrastructure. Given the radically decentralised nature of such networks, their potential for autonomous ...
Software is increasingly deployed in vehicles as demand for new functionality increases and cheaper and more powerful hardware becomes available. Likewise, emerging wireless communication protocols allow the integration ...