You may have to Search all our reviewed books and magazines, click the sign up button below to create a free account.
Antonio Salvo was a mafioso, but he did not traffic in narcotics, he did not run weapons, he did not kill anyone and he did not take part in the 'ordinary' mafia activities. Salvo was a business man, one of the wealthiest business men in Sicily. He took an interest in all important lines of business and had close political connections at the highest levels in Rome. He represented another, but not less important side of the mafia. He was a central part of the far-reaching network of economic and political interests that dominated Sicily through decades. This book analyses the economic and political activities of the mafia on the basis of the latest source material and explains how the mafia has succeeded in surviving, protecting, and flourishing in post-war Italy.
This book provides a reappraisal of the role of nationality in international law, taking into account recent trends and developments. The book features contributions from a range of experts offering a variety of approaches to the topic. Within public international law the book explores nationality in relation to a number of key topics including: nationality as a human right; statelessness in the context of state succession; diplomatic protection and trade in services. While most of the contributions address public international law the book also considers the evolving role of nationality in private international law as well as issues surrounding nationality and regional integration.
There is an emerging consensus that what is projected as democratic governance and justice in Africa requires a re-calibration, in particular, in relation to the constitutive demos, human rights, the realisation of commitments at various governance levels and the convergence between these ideations. The post-colonial narrative on democracy has unveiled some crevices in rule of law, political equality, political participation, political culture and freedom of the press. Aside from the fact that these notions are threatened by some existing institutional structures, these notions are increasingly being negotiated across political spaces. Evident in the prevalent narrative is an imperative for Africa to assert its place on the global scene of democratic governance and justice. However, if this will be accomplished, it is important to understand some of the issues that need to be worked through in this transition.
This book constitutes the refereed proceedings of the 13th International Conference on Verification, Model Checking, and Abstract Interpretation, VMCAI 2012, held in Philadelphia, PA, USA, in January 2012, co-located with the Symposium on Principles of Programming Languages, POPL 2012. The 26 revised full papers presented were carefully reviewed and selected from 70 submissions. The papers cover a wide range of topics including program verification, model checking, abstract interpretation, static analysis, deductive methods, program certification, debugging techniques, abstract domains, type systems, and optimization.
This book constitutes the refereed proceedings of the 12th IFIP WG 6.1 International Conference on Formal Methods for Open Object-Based Distributed Systems, FMOODS 2010, and the 30th IFIP WG 6.1 Formal Techniques for Networked and Distributed Systems, FORTE 2010, held in Amsterdam, The Netherlands, in June 2010. The 13 revised full papers presented together with 6 short papers and the abstract of one invited talk were carefully reviewed and selected from 38 submissions. The papers are organized in topical sections on formal UML modeling; components and architecture; timed process algebra; timed and hybrid automata; program logics and analysis; and reasoning about distributed systems.
This book provides an overview about the open challenges in software verification. Software verification is a branch of software engineering aiming at guaranteeing that software applications satisfy some requirements of interest. Over the years, the software verification community has proposed and considered several techniques: abstract interpretation, data-flow analysis, type systems, model checking are just a few examples. The theoretical advances have been always motivated by practical challenges that have led to an equal evolution of both these sides of software verification. Indeed, several verification tools have been proposed by the research community and any software application, in ...
This book constitutes the refereed proceedings of the Third International Conference on Smart Computing and Communications, SmartCom 2018, held in Tokyo, Japan, in December 2018. The 45 papers presented in this volume were carefully reviewed and selected from 305 submissions. They focus on topics from smart data to smart communications, as well as smart cloud computing to smart security.