136 resultados para Deadlock-Vermeidung
Resumo:
The history of the General Agreement on Tariffs and Trade negotiations is full of anecdotes on missed deadlines, failed ministerial conferences, and brinkmanship situations. Tactics such as walking away from the table or sleep-depriving night sessions are legendary in the context of attempting to overcome impasse in negotiations. This article traces and explains the recurrent deadlock in the Doha Round negotiations. It identifies four structural/contextual factors – ideas, institutions, interests, and information – as necessary for understanding and anticipating potential deadlocks. The article also offers a definition of deadlock, and discusses a set of factors highlighted in the international relations literature that explain the existence and persistence of deadlock. With the help of game theory, it then illustrates the challenges faced by actors during trade negotiations. The article concludes by outlining two general scenarios for the Doha Development Agenda and discusses their implications for the World Trade Organization.
Federal Reform, Political Deadlock, and Member State Response – The Case of Swiss Health Care Policy
Resumo:
entworffen u. dem Druck übergeben von Johann Helwig Engerer
Resumo:
Von einem Freunde des Volks und Rechts
Resumo:
Software architectural evaluation is a key discipline used to identify, at early stages of a real-time system (RTS) development, the problems that may arise during its operation. Typical mechanisms supporting concurrency, such as semaphores, mutexes or monitors, usually lead to concurrency problems in execution time that are difficult to be identified, reproduced and solved. For this reason, it is crucial to understand the root causes of these problems and to provide support to identify and mitigate them at early stages of the system lifecycle. This paper aims to present the results of a research work oriented to the development of the tool called ‘Deadlock Risk Evaluation of Architectural Models’ (DREAM) to assess deadlock risk in architectural models of an RTS. A particular architectural style, Pipelines of Processes in Object-Oriented Architectures–UML (PPOOA) was used to represent platform-independent models of an RTS architecture supported by the PPOOA –Visio tool. We validated the technique presented here by using several case studies related to RTS development and comparing our results with those from other deadlock detection approaches, supported by different tools. Here we present two of these case studies, one related to avionics and the other to planetary exploration robotics. Copyright © 2011 John Wiley & Sons, Ltd.
Resumo:
Some two months since Ukrainians took to the streets, a political solution to the standoff between the EuroMaidan protestors and the Ukrainian authorities remains out of reach, with the situation on the ground remaining volatile. As the clock ticks there is fear that further violence and instability could be on the horizon. Further turmoil risks Ukraine’s territorial integrity, with talk of division and calls for Moscow to intervene coming from a number of Party of Regions speakers. It also increases the likelihood of new security threats going beyond Ukraine’s border including refugees and asylum seekers. Furthermore, as the political crisis deepens, Ukraine’s economic situation becomes more perilous with the chances of default on its debts rising.
Resumo:
On 9 November the European Commission presented the annual reports assessing the progress of the Balkans states in their preparations for EU membership, the enlargement strategy up to autumn 2011, and the assessment of the EU membership applications submitted by Albania and Macedonia. All these documents show that the reform process in the Balkan states has slowed down in comparison to previous years. The main reason for this slowdown is the negative consequences of the global economic crisis for these countries. Nonetheless, the transformation process is continuing, despite these difficulties. Another increasingly serious challenge for integrating the Balkan states is the EU's growing reluctance to enlarge any further. Among other measures, the EU states have blocked the formal acknowledgement of the integration progress (objections have been raised to the submission of membership applications by Albania, Serbia and Montenegro, and to granting Albania candidate status), which has significantly prolonged the accession process. In fact, this illustrates the lack of political will to accept new members. The European Commission is aware that the integration process may be blocked, and so in the coming year it is planning to focus on fostering the idea of enlargement among the EU member states. It will also focus on persuading the Balkan states to move on with reforms, especially those designed to strengthen state institutions (administration, the judiciary), even if their progress will not be formally considered during the integration process. The Commission assumes that by the end of next year, the reforms implemented by the Balkan states will be comprehensive enough to persuade the EU states to step up the integration process in subsequent years. However, if the EU member states' standpoint on the enlargement process does not change, the Commission's efforts will not bring about the expected results. Considering that their prospects for EU membership are receding, the Balkan states may not have sufficient motivation to go on with long-term reform efforts. As a result, the transformation process may become impeded, and in the longer perspective, the situation in the entire region may be destabilised.
Resumo:
The decision passed by the International Court of Justice in The Hague in February 2009, which finally determined the status of the Snake Island and the delimitation of the borders of Ukraine’s and Romania’s exclusive economic zones on the Black Sea’s continental shelf removed the major dispute from the agenda of relations between the two countries but it failed to reduce their mutual distrust. The sources of this distrust include the difficult history of Ukrainian-Romanian relations in the 20th century which is still adversely affecting political and economic co-operation between these two countries and preventing them from being free from resentments. Romania is the only EU member state and neighbour with which Ukraine has strained relations, which have been seriously deadlocked for years. There are a few political and economic reasons for this. Bucharest’s actions taken with regard to the Romanian and Moldovan national minorities in Ukraine are interpreted in Kyiv as a threat to Ukraine’s national security, and Romania’s political and economic activity in the Black Sea basin is perceived as contrary to Ukrainian interests in this region. In effect, although Romania supports Ukraine’s efforts to build closer relations with the Western structures in the international arena, it cannot be ruled out that Romania’s support will depend on the resolution of bilateral disputes in a way which is favourable to Romania.
Resumo:
Although the Minsk process brought about a de-escalation of the conflict in Eastern Ukraine, not all of its 13 points have been implemented, including a ceasefire and withdrawal of heavy weaponry. In the absence of a military option, economic sanctions have become the core instrument of the EU and the US, to respond to Russia’s aggression. At the end of June 2016, when EU Heads of State and Government meet to discuss the extension of sanctions against Russia, they should bear in mind that Russia did not implement the commitments it took upon itself in the framework of the Minsk agreements. Given the persistent deadlock in the Ukraine crisis, the leaders of the EU ought to agree to prolong the sanctions against Russia, push for the renegotiation of the Minsk II agreement and widen the ‘Normandy format’ to include the US and bolster reforms in Ukraine.
Resumo:
Originally presented as the author's thesis (M.S.), University of Illinois.
Resumo:
Mode of access: Internet.
Resumo:
Mode of access: Internet.
Resumo:
Using current software engineering technology, the robustness required for safety critical software is not assurable. However, different approaches are possible which can help to assure software robustness to some extent. For achieving high reliability software, methods should be adopted which avoid introducing faults (fault avoidance); then testing should be carried out to identify any faults which persist (error removal). Finally, techniques should be used which allow any undetected faults to be tolerated (fault tolerance). The verification of correctness in system design specification and performance analysis of the model, are the basic issues in concurrent systems. In this context, modeling distributed concurrent software is one of the most important activities in the software life cycle, and communication analysis is a primary consideration to achieve reliability and safety. By and large fault avoidance requires human analysis which is error prone; by reducing human involvement in the tedious aspect of modelling and analysis of the software it is hoped that fewer faults will persist into its implementation in the real-time environment. The Occam language supports concurrent programming and is a language where interprocess interaction takes place by communications. This may lead to deadlock due to communication failure. Proper systematic methods must be adopted in the design of concurrent software for distributed computing systems if the communication structure is to be free of pathologies, such as deadlock. The objective of this thesis is to provide a design environment which ensures that processes are free from deadlock. A software tool was designed and used to facilitate the production of fault-tolerant software for distributed concurrent systems. Where Occam is used as a design language then state space methods, such as Petri-nets, can be used in analysis and simulation to determine the dynamic behaviour of the software, and to identify structures which may be prone to deadlock so that they may be eliminated from the design before the program is ever run. This design software tool consists of two parts. One takes an input program and translates it into a mathematical model (Petri-net), which is used for modeling and analysis of the concurrent software. The second part is the Petri-net simulator that takes the translated program as its input and starts simulation to generate the reachability tree. The tree identifies `deadlock potential' which the user can explore further. Finally, the software tool has been applied to a number of Occam programs. Two examples were taken to show how the tool works in the early design phase for fault prevention before the program is ever run.