Actually, business process modeling presents an important issue for public institutions. However, due to the high complexity of public processes and their characterizing requirements, such as legal one, appropriate modeling languages are not really available yet. In this work, we propose an extension of one of the most useful modeling language, namely Business Process Modeling Notation (BPMN), ...

We present a dynamic epistemic logic for knowledge change of rational agents. Existing approaches only deal with partial public announcements, that means an announcement may lead to an inconsistent state. We introduce an extension of the multi-modal logic S5n featuring total public announcements where an update cannot result in an inconsistency. We also study total public announcements in the c...

Arbitrary public announcement logic (APAL) is an extension of multi-agent epistemic logic that allows agents’ knowledge states to be updated by the public announcement of (possibly arbitrary) epistemic formulae. It has been shown to be more expressive than epistemic logic, and a sound and complete axiomatization has been given. Here we address the question of decidability. We present a proof th...

Scholars have devoted increasing attention to sinriilarities and differences between public and private organizations. This paper critiques the comparative literature on these organizations in order to assess the usefulness of the public-private distinction in organization theory and concludes that further analysis of this distinction is valuable. Several avenues for improving research are sugg...

this research was based on primary data collected through well designed and pre-tested questionnaire, to determine awareness of farmers on extension methods used by adp in kano state of nigeria. multistage sampling technique was used, in which three local governments were randomly selected. secondly, three wards one each from the selected local governments (danbatta, gaya and madobi) were rando...

present study was conducted in the three provinces of pakistan with the objectives to study the curricula relevancy with the participatory extension, supervision and administration and its practical applicability at the field level. for this extension agents of the selected provinces were selected purposively. mail questionnaire were used as instruments for data collection form 227 respondents ...

this study examined the accuracy between extension professionals and farmers regarding their perceptions of privatization and commercialization of agricultural extension services. the study was carried out in delta state, nigeria and it had a sample size of 224 respondents comprising of 134 extension professionals of the delta state agricultural programme (dtadp) and 90 farmers that were random...

We propose an extension to the BRSIM/UC library of Backes, Pfitzmann and Waidner [1] with non-malleable public key encryption. We also investigate the requirement of “full randomization” of public key encryption primitives in [1], and show that additional randomization to attain word uniqueness is theoretically not justified.

Agriculture and Rural Development Discussion Papers is an informal series produced by the Agriculture and Rural Development Department of the World Bank. These papers raise concepts and issues for discussion in the broader development community and describe ongoing research and/or implementation experiences from the Bank. The findings, interpretations, and conclusions expressed herein are those...

In Java, an interface specifies public abstract methods and associated public constants. Conformance of a class to an interface is by name. We propose to allow structural conformance to interfaces as well: Any class that provides an implementation for each method in an interface conforms structurally to the interface, and any instance of the class can be used where a value of the interface type...