Programs as paths: An approach to timing constraint analysis

A program can be decomposed into a set of possible execution paths. These can be described in terms of primitives such as assignments, assumptions and coercions, and composition operators such as sequential composition and nondeterministic choice as well as finitely or infinitely iterated sequential composition. Some of these paths cannot possibly be followed (they are dead or infeasible), and they may or may not terminate. Decomposing programs into paths provides a foundation for analyzing properties of programs. Our motivation is timing constraint analysis of real-time programs, but the same techniques can be applied in other areas such as program testing. In general the set of execution paths for a program is infinite. For timing analysis we would like to decompose a program into a finite set of subpaths that covers all possible execution paths, in the sense that we only have to analyze the subpaths in order to determine suitable timing constraints that cover all execution paths.

Sewers and water mains in England and Wales; materials, manufacture and capital expenditure

DUE TO COPYRIGHT RESTRICTIONS ONLY AVAILABLE FOR CONSULTATION AT ASTON UNIVERSITY LIBRARY AND INFORMATION SERVICES WITH PRIOR ARRANGEMENT

Technology adoption in small and medium-sized logistics providers

Purpose - The main aim of the research is to shed light on the role of information and communication technology (ICT) in the logistics innovation process of small and medium-sized third party logistics providers (3PLs). Design/methodology/approach - A triangulated research strategy was designed using a combination of quantitative and qualitative methods. The former involved the use of a questionnaire survey of small and medium-sized Italian 3PLs with 153 usable responses received. The latter comprised a series of focus groups and the use of seven case studies. Findings - There is a relatively low level of ICT expenditure with few companies adopting formal technology investment strategies. The findings highlight the strategic importance of supply chain integration for 3PLs with companies that have embarked on an expansion of their service portfolios showing a higher level of both ICT usage and information integration. Lack of technology skills in the workforce is a major constraint on ICT adoption. Given the proliferation of logistics-related ICT tools and applications in recent years it has been difficult for small and medium-sized 3PLs to select appropriate applications. Research limitations/implications - The paper provides practical guidelines to researchers in the effective use of mixed-methods research based on the concept of methodological triangulation. In particular, it shows how questionnaire surveys, focus groups and case study analysis can be used in combination to provide insights into multi-faceted supply chain phenomena. It also identifies several potentially fruitful avenues for future research in this specific field. Practical implications - The paper's findings provide useful guidance for practitioners on the effective adoption of ICT as part of the logistics innovation process. The findings also provide support for ICT vendors in the design of ICT solutions that are aligned to the needs of small 3PLs. Originality/value - There is currently a paucity of research into the drivers and inhibitors of ICT in the innovation processes of small and medium-sized 3PLs. This paper fills this gap by exploring the issue using a range of complementary research approaches. Copyright © 2013 Emerald Group Publishing Limited. All rights reserved.

A költségvetési korlát megkeményítése a posztszocialista országokban = Hardening of the budget constraint in the post-socialist countries

A költségvetési korlát megkeményítése nem egyforma mértékben ment végbe minden posztszocialista gazdaságban. Egyes országokban messzire jutottak ebben a tekintetben, másokban viszont alig változott az indulóállapot. A tanulmány áttekinti a költségvetési korlát puhaságának különböző megnyilvánulásait: az állami támogatásokat, a puha adózást, a nem teljesítő bankkölcsönöket, a vállalatközi tartozások felgyülemlését és a kifizetetlen béreket. A jelenséget sokféle tényező okozza, amelyek többnyire együttesen jelentkeznek. Az állami tulajdon fenntartása kedvez a puha költségvetési szindróma megrögződésének, a privatizálás elősegíti a keményítést, de nem elégséges feltétele a kemény korlát érvényesítésének. Ehhez megfelelő politikai, jogi és gazdasági környezetet kell céltudatosan kialakítani. A posztszocialista átmenet kezdetén sokan azt hitték, hogy a hatékony piacgazdaság létrehozásához elegendő lesz megvalósítani a liberalizáció, privatizáció és stabilizáció "szentháromságát". Mára már kiderült, hogy a költségvetési korlát megkeményítése az említett három feladattal egyenrangúan fontos. Ahol ez nem valósul meg (például Oroszország), ott a privatizáció nem hozza meg a várt eredményt. ___________________ The budget constraint has not hardened to equal degrees in the various post-socialist countries. In some of them, a great deal has been done in this respect, while in others there has been hardly any change from the initial state. This study surveys the typical manifestations of softness of the budget constraint, such as state subsidies, soft taxation, non-performing loans, the accumulation of trade arrears between firms, and the build-up of wage arrears. Softness of the budget constraint is caused by several factors that tend to act in combination. Thus retention of state ownership helps to preserve the soft budget-constraint syndrome, while privatization encourages the budget constraint to harden, although it does not form a sufficient condition for it to happen. Purposeful development of the requisite political, legal and economic conditions is also required. It was widely maintained at the outset of the post-socialist transition that the 'Holy Trinity' of liberalization, privatization and stabilization would suffice to produce an efficient market economy. Since then, it has become clear that hardening the budget constraint needs to be given equal priority with these. Otherwise, the effects of privatization will fall short of expectations, as they have in Russia, for example.

A puha költségvetési korlát szindrómája a kórházi szektorban = The soft budget constraint syndrome in the hospital sector

A kutatások eddig főképpen azt vizsgálták, hogyan jelenik meg a puha költségvetési korlát szindrómája a vállalati szférában és a hitelrendszerben. A jelen cikk a kórházi szektorra összpontosítja a figyelmet. Leírja az események öt főszereplőjének, a betegnek, az orvosnak, a kórházigazgatónak, a politikusnak és a kórház tulajdonosának motivációit és magatartásuk ellentmondásos jellegét. A motivációk magyarázzák, miért olyan erőteljes a túlköltési hajlam és a költségvetési korlát felpuhulásának tendenciája. A döntési és finanszírozási folyamatok minden szintjén felfelé hárítják a túlköltés és eladósodás terheit. A cikk kitér a különböző tulajdonformák (állami, nonprofit és forprofit nem állami tulajdonformák) és a puha költségvetési korlát szindrómájának kapcsolatára. Végül normatív szempontból vizsgálja a jelenséget: melyek a költségvetési korlát megkeményítésének kedvező és kedvezőtlen következményei, és hogyan tükröződnek a normatív dilemmák az események résztvevőinek tudatában. ___________ Researches so far have examined mainly how the soft budget constraint syndrome appears in the corporate sphere and the credit system. This article concentrates on the hospital sector. It describes the motivations and the contradictory behaviour of the five main types of participant in the events: patients, doctors, hospital managers, politicians, and hospital owners. The motivations explain why the propensity to overspend and the tendency to soften the budget constraint are so strong. The burdens of overspending and indebtedness are pushed upwards at every level of the decision-making and funding processes. The article considers the connection between the soft budget constraint syn-drome and the various forms of ownership (state ownership and the non-profit and for-profit forms of non-state ownership). Finally, the phenomenon is examined from the normative point of view: what are the favourable and unfavourable consequences of hardening the budget constraint and how these are reflected in the consciousness of the participants in the normative dilemmas and events.

The Soft Budget Constraint. An introductory study to volume IV of the Life’s Work series

The author’s ideas on the soft budget constraint (SBC) were first expressed in 1976. Much progress has been made in understanding the problem over the ensuing four decades. The study takes issue with those who confine the concept to the process of bailing out loss-making socialist firms. It shows how the syndrome can appear in various organizations and forms in many spheres of the economy and points to the various means available for financial rescue. Single bailouts do not as such generate the SBC syndrome. It develops where the SBC becomes built into expectations. Special heed is paid to features generated by the syndrome in rescuer and rescuee organizations. The study reports on the spread of the syndrome in various periods of the socialist and the capitalist system, in various sectors. The author expresses his views on normative questions and on therapies against the harmful effects. He deals first with actual practice, then places the theory of the SBC in the sphere of ideas and models, showing how it relates to other theoretical trends, including institutional and behavioural economics and theories of moral hazard and inconsistency in time. He shows how far the intellectual apparatus of the SBC has spread in theoretical literature and where it has reached in the process of “canonization” by the economics profession. Finally, he reviews the main research tasks ahead.

The impact of the recession on health care expenditure — How does the Czech Republic, Hungary, Poland and Slovakia compare to other OECD countries?

In the past few years, several papers have been published in the international literature on the impact of the economic crisis on health and health care. However, there is limited knowledge on this topic regarding the Central and Eastern European (CEE) countries. The main aims of this study are to examine the effect of the financial crisis on health care spending in four CEE countries (the Czech Republic, Hungary, Poland and Slovakia) in comparison with the OECD countries. In this paper we also revised the literature for economic crisis related impact on health and health care system in these countries. OECD data released in 2012 were used to examine the differences in growth rates before and after the financial crisis. We examined the ratio of the average yearly growth rates of health expenditure expressed in USD (PPP) between 2008–2010 and 2000–2008. The classification of the OECD countries regarding “development” and “relative growth” resulted in four clusters. A large diversity of “relative growth” was observed across the countries in austerity conditions, however the changes significantly correlate with the average drop of GDP from 2008 to 2010. To conclude, it is difficult to capture visible evidence regarding the impact of the recession on the health and health care systems in the CEE countries due to the absence of the necessary data. For the same reason, governments in this region might have a limited capability to minimize the possible negative effects of the recession on health and health care systems.