Many programs make implicit assumptions about data. Common assumptions include whether a variable has been initialized or can only contain non-null references. Domain-specific examples are also common, with many scientific programs manipulating values with implicit units of measurement. However, in languages like C, there is no language facility for representing these assumptions, making violat...

We describe the design and implementation of a trust-management system Soutei, a dialect of Binder, for access control in distributed systems. Soutei policies and credentials are written in a declarative logic-based security language and thus constitute distributed logic programs. Soutei policies are modular, concise, and readable. They support policy verification, and, despite the simplicity o...

This study explores the implementation of the mandatory national college English curriculum within a Chinese tertiary context. Using a mixed methods approach, I conducted the study by engaging three groups of participants. I interviewed four national policymakers in terms of syllabi, textbooks, and tests to identify the intended curriculum. I interviewed six departmental administrators to deter...

Many concerns would find it useful to have a publicly available database recording exposures to particular substances, with contextual information. The European Union's Registration, Evaluations, Authorisation, and restriction of Chemicals regulation has increased interest in this. It has been suggested that journals should require detailed publication of exposure data with papers. But there ar...

[This corrects the article DOI: 10.11613/BM.2017.032.].

Scientific journals have a central place in protecting research integrity because published articles are the most visible documentation of research. We used SWOT analysis to audit (S)trengths and (W)eaknesses as internal and (O)pportunities and (T)hreats as external factors affecting journals' responsibility in addressing research integrity issues. Strengths include editorial independence, auth...

The Croatian Medical Journal (CMJ), as a small journal that is not part of any publishing group faces serious challenges to prosper in a multitude of diverse biomedical journals. In such a complex situation, adaptations are always necessary. They include changing the editorial policy, embracing new ideas, and introducing new members to the Managing Team. Besides selecting the right articles, ex...

during the last two decades, decentralization has been supposed as a tool for making the public sector policies more efficient. despite the claimed benefits, there are some costs; some of decentralization theorists believe that devolution of pure public goods provision to local governments has led to the failure of decentralization policies. this article uses game theory to study the implicatio...

Network security should be based around security policies. From high-level natural language, non-technical, policies created by management, down to device and vendor specific policies, or configurations, written by network system administrators. There exists a multitude of research into policy-based network systems which has been undertaken. This paper provides an overview of the different type...