A Knowledge Base for Dependability and Security Research (2009)
Glaser, Hugh, Millard, Ian, Anderson, Tom, Andrews, Zoe, Fitzgerald, John, Randell, Brian
Research on computer system resilience, indeed on dependability and security generally, suffers from fragmentation into numerous partly-overlapping communities, and inconsistencies in terminology. As...
The behaviour of the Irish economy : insights from the HERMES macro-economic model (2009)
Bergin, Adele, Conefrey, Thomas, FitzGerald, John, Kearney, Ide
Dependable Self-organising Software Architectures- An Approach for Self-Managing Systems (2008)
Giovanna Di, Marzo Serugendo, John Fitzgerald, Er Romanovsky, Nicolas Guelfi
Abstract. We argue that principles from the design of dependable software, especially separation of concerns and the use of formality, can be applied beneficially in the construction of self-managing...
A Generic Framework for the Engineering of Self-Adaptive and Self-Organising Systems (2008)
Di Marzo Serugendo, Giovanna, Fitzgerald, John, Romanovsky, Alexander, Guelfi, Nicolas
This paper provides a unifying view for the engineering of self-adaptive (SA) and self-organising (SO) systems. We first identify requirements for designing and building trustworthy self-adaptive and...
Legal context and Key Points This article systematically examines ‘innocent infringement’—highlights its non-uniform nature and summarizes defence it offers as to liability and/or remedies...
EU enlargement and migration: Assessing the macroeconomic impacts (2007)
Ray Barrell, John Fitzgerald, Rebecca Riley
This paper considers the macroeconomic effects of the migration that followed the enlargement of the EU in May 2004. At that time the EU was expanded to include 10 New Member States (NMS)...
Stress management in the workplace : managing human capital through the I.D. System™ (2007)
Dadich, Ann M., Fitzgerald, John, Fitzgerald, Anneke, Chapman, R. L. (Ross L.)
Stress in the workplace is increasing in prevalence and chronicity. With these increases come organisational costs, economic costs, and personal costs. Recent efforts in stress management recognise...
McMahon, Maureen, Grossman, Jennifer, FitzGerald, John, Dahlin-Lee, Erika, Wallace, Daniel J, Thong, Bernard Y, ...
Objective. Women with systemic lupus erythematosus (SLE) have a 7-50-fold increased risk of coronary artery disease (CAD). In the general population, oxidized low-density lipoprotein (ox-LDL)...
Interpretive center @ Chaco Canyon / (2006)
Thesis (M.Arch.)--Texas Tech University, 2006.
What can the instinctive drive system TM offer the workplace? : a qualitative exploration (2006)
Fitzgerald, Anneke, Dadich, Ann M., Fitzgerald, John
Despite the potential benefits afforded by teamwork within the workplace, it can be difficult for employers and senior personnel to establish and maintain teams that gel. It is a juggling act...
What can the Instinctive Drive System™ offer the workplace? : a qualitative exploration (2006)
Fitzgerald, Anneke, Dadich, Ann M., Fitzgerald, John
Despite the potential benefits afforded by teamwork within the workplace, it can be difficult for employers and senior personnel to establish and maintain teams that gel. It is a juggling act...
The I.D. System™ : an improved way to enhance team performance in the workplace (2006)
Fitzgerald, Anneke, Dadich, Ann M., Ferres, Natalie, Fitzgerald, John
Following from research presented at the 2005 Australian Business and Behavioural Sciences Association Annual Conference, this paper presents contemporary developments in the I.D. system™...
Substitution reactions of carbon nanotube template (2006)
Li, Chi Pui, Chen, Ying, Fitzgerald, John
Substitution reactions between carbon nanotube (CNT) template and SiO with the formation of carbon rich silicon oxide nanowires (SiO–C-NWs) have been investigated using transmission electron...
What can the Instinctive Drive System™ offer the workplace? : a qualitative exploration (2006)
Fitzgerald, Anneke, Dadich, Ann M., Fitzgerald, John
Despite the potential benefits afforded by teamwork within the workplace, it can be difficult for employers and senior personnel to establish and maintain teams that gel. It is a juggling act...
The I.D. System™ : an improved way to enhance team performance in the workplace (2006)
Fitzgerald, Anneke, Dadich, Ann M., Ferres, Natalie, Fitzgerald, John
Following from research presented at the 2005 Australian Business and Behavioural Sciences Association Annual Conference, this paper presents contemporary developments in the I.D. system™...
Substitution reactions of carbon nanotube template (2006)
Li, Chi Pui, Chen, Ying, Fitzgerald, John
Substitution reactions between carbon nanotube (CNT) template and SiO with the formation of carbon rich silicon oxide nanowires (SiO–C-NWs) have been investigated using transmission electron...
Fitzgerald, John, Fitzgerald, Anneke
The purpose of this paper is to introduce the notion of Instinctive Drive™ (ID). It discusses the I.D.™ System, where it came from, how it is employed and what value is attached to knowing the...
Fitzgerald, John, Fitzgerald, Anneke
The purpose of this paper is to introduce the notion of Instinctive Drive™ (ID). It discusses the I.D.™ System, where it came from, how it is employed and what value is attached to knowing the...
Contributors to this Issue (2005)
Editorial Team, Jonathan Bowen, Judith Carlton, John Cooke, Kevin Lano, ...
FACS FACTS [ISSN: 0950-1231] is the newsletter of the BCS Specialist
The FACS FACTS Team Newsletter Editor Paul Boca (2005)
Editorial Team, Jonathan Bowen, Judith Carlton, John Cooke, Kevin Lano, Mike Stannett, ...
FACS FACTS [ISSN: 0950-1231] is the newsletter of the BCS Specialist
Model-Checking of Specifications Integrating Processes, Data and Time (2005)
Hoenicke, Jochen, Maier, Patrick, Fitzgerald, John, Hayes, Ian J., Tarlecki, Andrzej
We present a new model-checking technique for CSP-OZ-DC, a combination of CSP, Object-Z and Duration Calculus, that allows reasoning about systems exhibiting communication, data and real-time...
Fitzgerald, John, Fitzgerald, Anneke
The purpose of this paper is to introduce the notion of Instinctive Drive™ (ID). It discusses the I.D.™ System, where it came from, how it is employed and what value is attached to knowing the...
Fitzgerald, Anneke, Ferres, Natalie, Hamilton, Kara, Fitzgerald, John
In a changing environment, behaviour of individual team members remains largely unpredictable. To maximise human capital, managers and individuals need to recognise the dedication that urges them to...
Dolado, Juan José [dolado], Boeri, Tito, Bertola, Giuseppe, Brücker, Herbert, Coricelli, Fabrizio, Fitzgerald, John, ...
Formal Specification and Analysis of Requirements in Software Development (2000)
Georg Droschl, Andreas Kerschbaumer, Rudi Schlatte, ...
This thesis compares two software development methods within the context of a case study. A well-established approach is contrasted with the light-weight Vienna Development Method, which is based on...
An Analysis of Sample Attrition in Panel Data: The Michigan Panel Study of Income Dynamics (1997)
Fitzgerald, John, Gottschalk, Peter, Moffitt, Robert
By 1989 the Michigan Panel Study on Income Dynamics (PSID) had experienced approximately 50 percent sample loss from cumulative attrition from its initial 1968 membership. We study the effect of this...
Formal Specification of an Aerospace System: The Attitude Monitor (1995)
Andrew Coombes, Leonor Barroca, John Fitzgerald, John McDermid, Lynn Spencer, Amer Saeed
this paper. 1.3.4 Goal Structuring
Document ID: sl391
Added entries UNIVERSITY OF NEWCASTLE UPON TYNE (1099)
J. S. Fitzgerald, P. G. Larsen, S. Sahara, John Fitzgerald, Peter Gorm Larsen, Shin Sahara
This report contains proceedings of the Fourth International Workshop of the Overture group (www.overturetool.org) whose aim is to develop the next generation of tools supporting the Vienna...
Incremental Development of a Distributed Real-Time Model of a Cardiac Pacing System using VDM (1059)
H. D. Macedo, P. G. Larsen, J. Fitzgerald, Hugo D. Macedo, Peter G. Larsen, John Fitzgerald, ...
The construction of formal models of real-time distributed systems is a considerable practical challenge. We propose and illustrate a pragmatic incremental approach in which detail is progressively...
J. S. Fitzgerald, P. G. Larsen, S. Sahara, John Fitzgerald, Peter G. Larsen, Shin Sahara
VDMTools: advances in support for formal modeling in VDM
Added entries UNIVERSITY OF NEWCASTLE UPON TYNE (1054)
J. Bryans, J. Fitzgerald, Jeremy Bryans, John Fitzgerald, J. Bryans, J. Fitzgerald
Managing the evolution of a dynamic virtual organisation (VO) is a considerable challenge, particularly in ensuring that participating agents provide sufficient access to resources in order to...
Added entries UNIVERSITY OF NEWCASTLE UPON TYNE (1020)
Z. Andrews, J. Fitzgerald, M. Verhoef, Zoe Andrews, John Fitzgerald, Marcel Verhoef, ...
We propose an approach to discrete event and continuous time co-simulation that permits the analysis of alternative fault-tolerance strategies in formal models of embedded systems at early design...
G. Di, Marzo Serugendo, J. S. Fitzgerald, A. Romanovsky, N. Guelfi, Giovanna Di, ...
This paper provides a unifying view for the engineering of self-adaptive (SA) and self-organising (SO) systems. We first identify requirements for designing and building trustworthy self-adaptive and...
Airline Emissions of Carbon Dioxide in the European Trading System
A simulation model of international tourist flows is used to estimate the impact of including carbon dioxide emissions from aviation fuels in the European Trading System. The effect on global carbon...
Database Access Using TROLL on the CCS Computer
Costigan, John, FitzGerald, John, McQuaid, Alan, Redmond, Adrian
The ESRI-Department of Finance Databank Based on National Income and Expenditure 1993
Flanagan, Mary, Monks, Tom, O'Brolchain, Feargal, FitzGerald, John
EU Enlargement and Migration: Assessing the Macroeconomic Impacts
Ray Barrell, John FitzGerald, Rebecca Riley
This paper considers the macroeconomic effects of the migration that followed the enlargement of the EU in May 2004. At that time the EU was expanded to include 10 New Member States (NMS)...
Airline Emissions of Carbon Dioxide in the European Trading System
A simulation model of international tourist flows is used to estimate the impact of including carbon dioxide emissions from aviation fuels in the European Trading System. The effect on global carbon...
An Analysis of Sample Attrition in Panel Data: The Michigan Panel Study of Income Dynamics
John Fitzgerald, Peter Gottschalk, Robert Moffitt
By 1989 the Michigan Panel Study on Income Dynamics (PSID) had experienced approximately 50 percent sample loss from cumulative attrition from its initial 1968 membership. We study the effect of this...
John FitzGerald, Mary Keeney, Sue Scott
Environmental tax reform could bear heavily on manufacturing sectors that are energy intensive and highly traded, in particular if their options for adapting technology are limited. However, to the...
Rockwell, Orrin PorterResidence P.2
Porter Rockwell's Residence Scene of the ruins, located about one mile east of Crystal Hot Lakes. Two views. Picture taken and given by John Fitzgerald.
Rockwell, Orrin PorterResidence P.4
Porter Rockwell's Residence. One of the many springs near the old ranch house. Photo taken in 1928 by John Fitzgerald.
Airline emissions of carbon dioxide in the European trading system
Emissionshandel, Kohlendioxid, Luftverkehr, Europische Wirtschafts- und Whrungsunion, Emissions trading, Carbon dioxide, Air transport, European Economic and Monetary Union
Rockwell, Orrin Porter—Residence P.2
Porter Rockwell's Residence Scene of the ruins, located about one mile east of Crystal Hot Lakes. Two views. Picture taken and given by John Fitzgerald.
Rockwell, Orrin Porter—Residence P.4
Porter Rockwell's Residence. One of the many springs near the old ranch house. Photo taken in 1928 by John Fitzgerald.