A compositional framework for hardware/software co-design

We describe a compositional framework, together with its supporting toolset, for hardware/software co-design. Our framework is an integration of a formal approach within a traditional design flow. The formal approach is based on Interval Temporal Logic and its executable subset, Tempura. Refinement is the key element in our framework because it will derive from a single formal specification of the system the software and hardware parts of the implementation, while preserving all properties of the system specification. During refinement simulation is used to choose the appropriate refinement rules, which are applied automatically in the HOL system. The framework is illustrated with two case studies. The work presented is part of a UK collaborative research project between the Software Technology Research Laboratory at the De Montfort University and the Oxford University Computing Laboratory.

Excluding exceptions: Housing non-affordability and the oppression of environmental sustainability?

This paper explores the provision of homes for less wealthy households in rural England. By allowing 'exceptions' to UK planning law to provide low-income housing for local residents, the national government seeks to secure dwellings for the less wealthy and so sustain socially mixed rural villages. This paper explores how the production of homes through the exception policy is not conducive to the construction of many new houses. The particular emphasis in the paper is on how responsible agents are discouraged from being more active in erecting new village homes for low-income households. Empirically, the paper draws on documents, interviews and a social survey in the counties of Bedfordshire, Cambridgeshire and Norfolk to investigate the process of delivering rural exception homes. It is concluded that, despite Government assertions that a socially mixed countryside is desirable, the decision-making criteria that dominate the worldviews of agents in social housing provision work against this outcome. (c) 2005 Elsevier Ltd. All rights reserved.

Last charge of the knights? Iraq, Afghanistan and the special relationship

At the heart of the ‘special relationship’ ideology, there is supposed to be a grand bargain. In exchange for paying the ‘blood price’ as America's ally, Britain will be rewarded with exceptional influence over American foreign policy and its strategic behaviour. Soldiers and statesman continue to articulate this idea. Since 9/11, the notion of Britain playing ‘Greece’ to America's ‘Rome’ gained new life thanks to Anglophiles on both sides of the Atlantic. One potent version of this ideology was that the more seasoned British would teach Americans how to fight ‘small wars’ in Iraq and Afghanistan, thereby bolstering their role as tutor to the superpower. Britain does derive benefits from the Anglo-American alliance and has made momentous contributions to the wars in Afghanistan and Iraq. Yet British solidarity and sacrifices have not purchased special influence in Washington. This is partly due to Atlanticist ideology, which sets Britain unrealistic standards by which it is judged, and partly because the notion of ‘special influence’ is misleading as it loses sight of the complexities of American policy-making. The overall result of expeditionary wars has been to strain British credibility in American eyes and to display its lack of consistent influence both over high policy and the design and execution of US military campaigns. While there may be good arguments in favour of the UK continuing its efforts in Afghanistan, the notion that the war fortifies Britain's vicarious world status is a dangerous illusion that leads to repeated overstretch and disappointment. Now that Britain is in the foothills of a strategic defence review, it is important that the British abandon this false consciousness.

Brexit or Bremain? Future options for UK agricultural policy and the CAP

The outcome of the UK’s referendum on continued EU membership is at the time of writing uncertain, and the consequences of a vote to remain (‘Bremain’) or leave (‘Brexit’) difficult to predict. Polarised views have been voiced about the impact of Brexit on UK agriculture, and on the nature and level of funding, of future policy. Policymakers would not have the luxury of devising a new policy from scratch. WTO rules and commitments, the nature of any future accord with the EU, budget constraints, the rather different perspectives of the UK’s devolved administrations in Scotland, Wales and Northern Ireland, and the expectations of farmers, landowners and the environmental lobby, will all impact the policymaking process. The WTO dimension, and the UK’s future relationship with the EU, are particularly difficult to predict, and – some commentators believe – may take years to resolve. Brexit’s impact on the future CAP is also unclear. A vote to remain within the EU would not necessarily assuage the Eurosceptics’ criticisms of the EU, or the UK’s perception of the CAP. Whatever the outcome, future agricultural, food and rural land use policies will remain key preoccupations of European governments.

Acceptable use policy and employee computer usage: case of Sri Lankan software development industry

Organizations introduce acceptable use policies to deter employee computer misuse. Despite the controlling, monitoring and other forms of interventions employed, some employees misuse the organizational computers to carry out their personal work such as sending emails, surfing internet, chatting, playing games etc. These activities not only waste productive time of employees but also bring a risk to the organization. A questionnaire was administrated to a random sample of employees selected from large and medium scale software development organizations, which measured the work computer misuse levels and the factors that influence such behavior. The presence of guidelines provided no evidence of significant effect on the level of employee computer misuse. Not having access to Internet /email away from work and organizational settings were identified to be the most significant influences of work computer misuse.

Effect of acceptable use policy on employee computer use : case of Sri Lankan software development organizations

It is a known fact that some employees misuse the organizational computers to do their personal work such as sending emails, surfing the Internet, chatting, playing games. These activities not only waste productive time of employees but also bring a risk factor to the organization. This affects organizations in the software industry very much as almost all of their employees are connected to the Internet throughout them day./ By introducing an Acceptable Use Policy (AUP) for an organization, it is believed that the computer misuse by its employees could be reduced. In many countries Acceptable Use Policies are used and they have been studied with various perspectives. In Sri Lankan context research on these areas are scarce. This research explored the situation in Sri Lanka with respect to AUPs and their effectiveness./ A descriptive study was carried out to identify the large and medium scale software development organizations that had implemented computer usage guidelines for employees. A questionnaire was used to gather information regarding employee’s usual computer usage behavior. Stratified random sampling was employed to draw a representative sample from the population./ Majority of the organizations have not employed a written guideline on acceptable use of work computers. The study results did not provide evidence to conclude that the presence or non presence of an AUP has a significant difference in computer use behaviors of employees. A significant negative correlation was observed between level of awareness about AUP and misuse. Access to the Internet and organizational settings were identified as significant factors that influence employee computer misuse behavior.

A copyright exception for private copying in the United Kingdom

This paper discusses the proposed copyright exception for private copying in the UK in the aftermath of the Hargreaves Review. It explores the options by which the exception shall retain a realistic scope without significantly impacting on the interests of the rightholders and addresses the concept of possible harm that may arise due to private copying. It concludes that an exception for copying of content legally owned by an individual to another medium or device for private use corresponds to consumers’ reasonable expectations without causing more than minimal harm to the rightholders’ interests and without requiring an accompanying introduction of a fair compensation scheme.

Transmathematical basis of infinitely scalable pipeline machines

We describe infinitely scalable pipeline machines with perfect parallelism, in the sense that every instruction of an inline program is executed, on successive data, on every clock tick. Programs with shared data effectively execute in less than a clock tick. We show that pipeline machines are faster than single or multi-core, von Neumann machines for sufficiently many program runs of a sufficiently time consuming program. Our pipeline machines exploit the totality of transreal arithmetic and the known waiting time of statically compiled programs to deliver the interesting property that they need no hardware or software exception handling.

Facebook & Blackboard: comparison of learner perspectives

Different systems, different purposes – but how do they compare as learning environments? We undertook a survey of students at the University, asking whether they learned from their use of the systems, whether they made contact with other students through them, and how often they used them. Although it was a small scale survey, the results are quite enlightening and quite surprising. Blackboard is populated with learning material, has all the students on a module signed up to it, a safe environment (in terms of Acceptable Use and some degree of staff monitoring) and provides privacy within the learning group (plus lecturer and relevant support staff). Facebook, on the other hand, has no learning material, only some of the students using the system, and on the face of it, it has the opportunity for slips in privacy and potential bullying because the Acceptable Use policy is more lax than an institutional one, and breaches must be dealt with on an exception basis, when reported. So why do more students find people on their courses through Facebook than Blackboard? And why are up to 50% of students reporting that they have learned from using Facebook? Interviews indicate that students in subjects which use seminars are using Facebook to facilitate working groups – they can set up private groups which give them privacy to discuss ideas in an environment which perceived as safer than Blackboard can provide. No staff interference, unless they choose to invite them in, and the opportunity to select who in the class can engage. The other striking finding is the difference in use between the genders. Males are using blackboard more frequently than females, whilst the reverse is true for Facebook. Interviews suggest that this may have something to do with needing to access lecture notes… Overall, though, it appears that there is little relationship between the time spent engaging with Blackboard and reports that students have learned from it. Because Blackboard is our central repository for notes, any contact is likely to result in some learning. Facebook, however, shows a clear relationship between frequency of use and perception of learning – and our students post frequently to Facebook. Whilst much of this is probably trivia and social chit chat, the educational elements of it are, de facto, contructivist in nature. Further questions need to be answered - Is the reason the students learn from Facebook because they are creating content which others will see and comment on? Is it because they can engage in a dialogue, without the risk of interruption by others?

Development and illustrative outputs of the Community Integrated Assessment System (CIAS), a multi-institutional modular integrated assessment approach for modelling climate change.

This paper describes the development and first results of the “Community Integrated Assessment System” (CIAS), a unique multi-institutional modular and flexible integrated assessment system for modelling climate change. Key to this development is the supporting software infrastructure, SoftIAM. Through it, CIAS is distributed between the community of institutions which has each contributed modules to the CIAS system. At the heart of SoftIAM is the Bespoke Framework Generator (BFG) which enables flexibility in the assembly and composition of individual modules from a pool to form coupled models within CIAS, and flexibility in their deployment onto the available software and hardware resources. Such flexibility greatly enhances modellers’ ability to re-configure the CIAS coupled models to answer different questions, thus tracking evolving policy needs. It also allows rigorous testing of the robustness of IA modelling results to the use of different component modules representing the same processes (for example, the economy). Such processes are often modelled in very different ways, using different paradigms, at the participating institutions. An illustrative application to the study of the relationship between the economy and the earth’s climate system is provided.