Kiniry, Joseph R.; Cochran, Dermot; Tierney, Patrick E.(Association for Computing Machinery, 2007)
Activist computer scientists, including some of the authors
of this paper, have been working against the adoption
by governments of commercial, proprietary, insecure,
poorly designed and implemented voting systems
the ...
Ambient intelligence involves synthesising data from a range of sources in order to exhibit meaningful adaptive behaviour without explicit user direction, driven by inputs from largely independent devices and data sources. ...
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 ...
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 ...
Coleman, Gerry; Mc Caffery, Fergal; Taylor, Philip S.(IEEE Computer Society, 2007)
Adept combines two process assessment methods, one plan-based and one agile-based, without dictating which one to use. This makes the lightweight approach attractive for small software
companies.
Self-organizing techniques have successfully been used to optimize software systems, such as optimization of route stability in ad hoc network routing and optimization of the use of storage space or processing power using ...
Travellers require information on individual transport systems when planning a journey. Many transport-rich urban environments contain numerous underlying transport infrastructures, offering a traveller various ways to ...
Razzaque, Mohammed Abhur; Dobson, Simon; Nixon, Paddy(IEEE Computer Society, 2007)
Pervasive and autonomic environments make extensive use of contextual information to guide adaptations
to changing external demands and circumstances. Context takes many forms, and some form of categorisation of
information ...
Service discovery in mobile ad hoc networks (MANETs) is an integral part for collective application interoperability. The discovery process must cope not only with transient communication but also with an environment where ...
Feature diagrams are a popular means for documenting variability in software product line engineering. When examining feature diagrams in the literature and from industry,
we observed that the same modelling concepts are ...