When some agents want to communicate through a media stream (for example voice or video), the Real Time Protocol (RTP) is used. This protocol does not provide encryption, so it is necessary to use Secure RTP (SRTP) to ...
We present second steps in the construction of formal models of NAND flash memory, based on a recently emerged open standard for such devices. The model is intended as a key part of a pilot project to develop a verified ...
Large-scale agent-based systems are required to self-optimize towards multiple, potentially conflicting, policies of varying spatial and temporal scope. As a result, not all agents may be implementing all policies at all ...
Costello, Gabriel J.; Conboy, Kieran; Donnellan, Brian; Rochford, Colm(Springer-Verlag, 2007)
This paper addresses a “challenge in practice” by describing the initial stage of an information systems development (ISD) project to support the management of innovation within a subsidiary of APC-MGE. To begin with, a ...
Conboy, Kieran(INFORMS (Institute for Operations Research and Management Sciences), 2009)
Awareness and use of agile methods has grown rapidly among the information systems development (ISD) community in recent years. Like most previous methods, the development and promotion of these methods have been almost ...
We argue that the software user, the developer, the designer and indeed the application logic itself all possess invaluable intelligence to gear how software should adapt itself to changing requirements and changing ...
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 ...
In the recent years, there has been an increasing demand for high quality multimedia services over wireless networks. Triple play services (voice, data and video) require data-rates of the order of several megabits per ...
Pervasive systems present the need to interpret large quantities of data from many sources. Context models support developers working with such data by providing a shared representation of the environment on which to base ...