Alman hukukunda cebri icraya konu bir belgede yer alan alacağın maddi hukuk boyutunda meydana gelen ve belgenin icra edilebilirlik özelliğini etkileyen değişimlerin ileri sürülmesi ZPO § 767’de düzenlenen karşı dava ile mümkündür. Borçlu edilebilir gösterilen alacak hakkına yönelik 767/II-III’deki sınırlamalara uygun olarak hukuka dayanan itirazlarını sürebilmekte bu davada alacağı ilam ortadan...

This tutorial deals with runtime enforcement and advocates its use as an extension of runtime verification. While research efforts in runtime verification have been mainly concerned with detection of misbehaviors and acknowledgement of desired behaviors, runtime enforcement aims mainly to circumvent misbehaviors of systems and to guarantee desired behaviors. First, we propose a comparison betwe...

Money politic in regional head election Indonesia is the serious crime. perpetrators can be sentenced to prison. The practice of money harms democracy Indonesia. For this who proven have committed criminal act event, repressive law enforcement effort imposed on person concerned. procedure for against it by referring Indonesian Criminal Law.

Organizations such as hospitals and banks that collect and use personal information are required tocomply with privacy regulations like the Health Insurance Portability and Accountability Act (HIPAA)and the Gramm-Leach-Bliley Act (GLBA). With the goal of specification and enforcement of such prac-tical policies, we develop the logic PrivacyLFP, whose syntax is an extension of the fi...

New psychoactive drugs (NPDs, new psychoactive substances) enter the market all the time. However, it takes several months to ban these NPDs and immediate action is generally not possible. Several European countries and drug enforcement officers insist on a faster procedure to ban NPDs. Introduction of generic legislation, in which clusters of psychotropic drugs are banned in advance, has been ...

Behavioural analysis of criminal law exploits social science methodologies (behavioural economics, psychology and even sociology) to explore the effects of criminal law norms on criminals, judges, juries and other decision-makers, to determine the optimal type and size of criminal sanctions, to identify the optimal design of the enforcement system and the rules of evidence. Behavioural analysis...

Organizations such as hospitals and banks that collect and use personal information are required tocomply with privacy regulations like the Health Insurance Portability and Accountability Act (HIPAA)and the Gramm-Leach-Bliley Act (GLBA). With the goal of specification and enforcement of such prac-tical policies, we develop the logic PrivacyLFP, whose syntax is an extension of the fi...