Recognition and Explanation of Incorrect Behavior in Simulation-Based Hardware Verification
In the modern globalized world almost all the transactions involve a foreign element which inevitably leads to the disputes arising in a foreign country. This is old news for Russian citizens and companies who find themselves more often than ever in the middle of litigation abroad. However, lawyers are well aware that winning a lawsuit is not the end – seeking recognition and enforcement of the judgment is the next step. Enforcing judgments in Russia is a tricky business, the one that many are not ready to encounter. Although Russia is a party of about thirty agreements on mutual recognition of the foreign judgments, there are no such agreements with major European countries or America. In such cases, the principles of comity and reciprocity come into play. Even if there is a legal basis for recognition, then when is the court allowed not to recognize or enforce it? Russian foreign policy does reflect the need for establishing a new level of connection with the countries of the world community by enhancing economic, trade and cultural relations. As a prerequisite for this though, Russian legislation must adequately protect the rights and legitimate interests of foreign partners. Certainty of a result is what attracts businessmen, especially foreign investors. Therefore, the law on recognition and enforcement of foreign judgments (hereinafter - REFJ) must lead to a stable and predictable outcome. This paper is dedicated to analysis of the current Russian legislation, judicial decisions on REFG as well as writings of scholars on the existing problems obstacles and problems. Moreover, here will be discussed the peculiarities of the law of the United States of America on the recognition and enforcement of foreign-country judgments.
Some classical and contemporary treatments of justice in sociology, interrelations of the concepts of social justice, on the one hand, and of legitimacy, recognition, majority and minority, on the other hand.
References to the problem of the End of History are not infrequent in various political, cultural and philosophic discussions. This notion is often postulated as something quite apparent or as something of great influence and which nevertheless both are attemted to be refuted. The purpose of the paper is to follow philosophic roots of this conception and observe conditions and stages in its development.
The issue contains papers accepted for presentation at the 10th Spring/Summer Young Researchers’ Colloquium on Software Engineering (SYRCoSE 2016) held in Krasnovidovo, Mozhaysky District, Moscow Oblast, Russia on May 30-June 1, 2016. The paper selection was based on originality and contributions to the field. Each paper was peer-reviewed by at least three referees.
The colloquium’s topics include programming languages, software development tools, embedded and cyber-physical systems, software and hardware verification, formal methods, information security, and others.
In his Idea of Justice, Amartya Sen compares the two basic approaches to evaluating institutions, transcendental institutionalism and realization-focused comparisons. Referring to Adam Smith's Impartial Spectator, he argues in favor of the latter and proposes the principle of open impartiality. However, this cannot solve the tension between universalism and contextualization of values that Sen has inherited from Smith. Based on recent Hegel scholarship, we argue that some of the difficulties can be resolved, considering the role Smith played in the development of Hegel's thinking. Hegel's concept of recognition plays an essential role in establishing the possibility of impartiality both on the level of consciousness and on the level of institutional intersubjectivity. Hegel's critique of Kant's formalist ethics (also considered as transcendental institutionalism by Sen) and his analysis of the civil society in the Philosophy of Right, especially his focus on associations and Estates, can serve as a model for making Sen's focus on public discourse theoretically more concise and pragmatically feasible. Hegel shows that universalistic attitudes can only emerge in specific institutional contexts.