The enforcement of decisions of the International Court of Justice may involve problems that touch upon some of the most delicate areas of both public international law, and the law of the United Nations, at a time when these two systems of law can hardly be considered as totally separate from each other. In the body of general law and practice concerning enforcement of international rules the ...

To enable the growth of wireless networks in high assurance computer systems, it is essential to establish a security engineering methodology that provides system security managers with a procedural engineering process to develop computer security policies. Our research demonstrates how wireless communication technology is deployed using the Multiple Independent Levels of Security (MILS) archit...

Over the past twenty years there has been an explosion in the creation, availability, and use of criminal justice databases. Large scale database systems now routinely influence law enforcement decisions ranging from formal determinations to arrest or convict an individual to informal judgments to subject a person to secondary pre-flight screening or investigate possible gang membership. Eviden...

according to the articles 169 to 179 of the civil judgment enforcement law, the enforcement of the foreign judgment in the iranian law is based on the reciprocal act. but extension of international relations in the world today, above all in the commercial domain, requires that enforcement of foreign judgment be accepted after obtaining its correctness conditions based on res judicata. therefore...

Given an arbitrary Petri net structure which may have uncontrollable and unobservable transitions and may be unbounded, the procedure described in this paper generates a supervisor for liveness enforcement. The supervisor is specified as a conjunction of linear marking inequalities. For all initial markings satisfying the linear marking inequalities, the supervised Petri net is live. Moreover, ...

Follow this and additional works at: http://scholarship.law.upenn.edu/faculty_scholarship Part of the American Politics Commons, Criminal Law Commons, Criminal Procedure Commons, Criminology and Criminal Justice Commons, Ethics and Political Philosophy Commons, Law and Politics Commons, Law and Society Commons, Law Enforcement and Corrections Commons, Policy Design, Analysis, and Evaluation Com...

We introduce the possibility of direct punishment by specialized enforcers into a model of community enforcement. Specialized enforcers need to be given incentives to carry out costly punishments. Our main result shows that, when the specialized enforcement technology is suffi ciently effective, cooperation is best sustained by a “one-time enforcer punishment equilibrium,” where any deviation b...