The paper analyses how identities and obligations operate within the spaces of transnational communities and how this affects development. Within spatially diffuse communities identities are fluid and overlapping, as are the obligations to multiple others be that kin, ethnic group or nation – in different localities. The paper is concerned with the institutions through which these identities ar...

In this paper, we introduce the family of ABC (Authorizations, oBligations, and Conditions) models for usage control (UCON). We call these core models because they address the essence of usage control, leaving administration, delegation and other important but second-order issues for later work. The term usage control is a generalization of access control to cover obligations, conditions, conti...

Fasting is one of Islamic Five Pillars and it is an Islamic obligations. Even though fasting during Ramadan month is an obligatory, if this obligatory has dangerous effects on the human health, it is forbidden. In On the other hand, atypical levels of thyroid hormones can create serious problems for human body and normal range of these hormones is indicative of good thyroid function. The presen...

obligations, privacy, policies, enforcement, monitoring, stickiness, accountability, identity management The management and enforcement of privacy obligations is a challenging task: it involves legal, organizational, behavioral and technical aspects. In particular, the management of privacy obligations for identity and confidential data can require ongoing efforts, both in the short and very lo...

This paper will compare two of the most prominent mystics of Islam and Hinduism on what may be called the “end of the mystical journey,” or mokśa in Hindu spirituality and fanā in Islamic mysticism. The interpretations of these two mystics are naturally developed according to their own epistemological and ontological bases. Thus, referring to their most significant principles ...

Awareness of the citizenship rights and duties is the first prerequisite for asking the right and performing duties and obligations. Members of the temporal community find opportunity to participate to be aware of their own rights, duties and obligations on one hand, and the rights, duties and responsibilities of the existing institutions on the other hand. The main aim of this study is to inve...

Norm-aware agents are able to reason about the obligations, permissions and prohibitions that affect their operation. While much work has focused on the creation of such norm-aware agents, less effort has been placed on enabling system designers and users to understand the interactions between norms. Providing designers with such an understanding can aid in eliminating redundant norms and error...

In this paper we present Seduct, which is a theorem prover for many–sorted first order logic. Seduct has been specially tailored to economically discharge proof obligations arising during the process of software verification. We will mainly describe those features of Seduct which distinguish this theorem prover from other theorem provers and which make it especially suited for software verifica...