Rigorous Design of Fault-Tolerant Transactions for Replicated Database Systems using Event B

System availability is improved by the replication of data objects in a distributed database system. However, during updates, the complexity of keeping replicas identical arises due to failures of sites and race conditions among conflicting transactions. Fault tolerance and reliability are key issues to be addressed in the design and architecture of these systems. Event B is a formal technique which provides a framework for developing mathematical models of distributed systems by rigorous description of the problem, gradually introducing solutions in refinement steps, and verification of solutions by discharge of proof obligations. In this paper, we present a formal development of a distributed system using Event B that ensures atomic commitment of distributed transactions consisting of communicating transaction components at participating sites. This formal approach carries the development of the system from an initial abstract specification of transactional updates on a one copy database to a detailed design containing replicated databases in refinement. Through refinement we verify that the design of the replicated database confirms to the one copy database abstraction

INSTITUTIONAL ANALYSIS ON POVERTY REDUCTION PROGRAM IN THE SOCIETY: A CASE STUDY OF NATIONAL PROGRAM FOR COMMUNITY EMPOWERMENT OF INDEPENDENT URBAN (PNPM-MP) IN SEMARANG, INDONESIA

Institutional PNPM-MP in Semarang put poverty alleviation as the main priority of the empowerment-based development policy. The strategy developed is to synergize government agencies with community institutions built by PNPM-MP program at the village and base level, that is, Community Institutional Agency (BKM) and the Community Self-Reliance Group (KSM). The problem studied in this research is: How does PNPM-MP institutional in society involve in poverty reduction, with the aim of describing and analyzing institutional programs in the community. The research approach used phenomenological qualitative, by conducting interviews, observation, focus group discussion to obtain data from informants (BKM / KSM). Informants include two BKM and ten KSM which is purposively selected (deliberately) from two villages in two districts. The analysis was performed interactively, that is, analysis techniques which are integral cycle among data collection, data reduction, data performance and conclusion withdrawal. Research conclusion: PNPM-MP institutional at the village and base level (BKM / KSM) has not been able to be a driving force in poverty reduction and is still seen by the community as a program requirement, not institutionalized on both horizontal and vertical level. Recommendation for the research result is that it needed awareness that poverty reduction requires a synergy between government agencies and community agencies embodied in the development planning of one village one planning

Merge Everything It Makes Sense to Merge: The History and Philosophy of the Merged Reference Collection at the Dr. Martin Luther King, Jr. Library in San Jose, California

The Dr. Martin Luther King, Jr. Library in San Jose, California is a unique dual-use library serving the students of San Jose State University and the community of San Jose, California. The reference collections of the two libraries are merged and interfiled to promote ease of access for both populations served. Economies of scale were realized through collaborative collection development activities for major reference purchases between the two institutions. This article describes the planning and creation of the King Library\u27s merged reference collection and reviews the literature of collaborative collection development and merged or interfiled collections

How management innovation happens

Management innovation — that is, the implementation of new management practices, processes and structures that represent a significant departure from current norms — has over time dramatically transformed the way many functions and activities work in organizations. Many of the practices, processes and structures that we see in modern business organizations were developed during the last 150 years by the creative efforts of management innovators. Those innovators have included well-known names like Alfred P. Sloan and Frederick Taylor, as well as numerous other unheralded individuals and small groups of people who all sought to improve the internal workings of organizations by trying something new

Change Support in Process-Aware Information Systems - A Pattern-Based Analysis

In today's dynamic business world the economic success of an enterprise increasingly depends on its ability to react to changes in its environment in a quick and flexible way. Process-aware information systems (PAIS) offer promising perspectives in this respect and are increasingly employed for operationally supporting business processes. To provide effective business process support, flexible PAIS are needed which do not freeze existing business processes, but allow for loosely specified processes, which can be detailed during run-time. In addition, PAIS should enable authorized users to flexibly deviate from the predefined processes if required (e.g., by allowing them to dynamically add, delete, or move process activities) and to evolve business processes over time. At the same time PAIS must ensure consistency and robustness. The emergence of different process support paradigms and the lack of methods for comparing existing change approaches have made it difficult for PAIS engineers to choose the adequate technology. In this paper we suggest a set of changes patterns and change support features to foster the systematic comparison of existing process management technology with respect to process change support. Based on these change patterns and features, we provide a detailed analysis and evaluation of selected systems from both academia and industry. The identified change patterns and change support features facilitate the comparison of change support frameworks, and consequently will support PAIS engineers in selecting the right technology for realizing flexible PAIS. In addition, this work can be used as a reference for implementing more flexible PAIS

RECRUITMENT AND SELECTION SYSTEM OF VILLAGES IN WONOSOBO REGENCY

Basic track problems in most of the villages in Wonosobo Regency Government are the recruitment and selection practices of other villages have not been able to encourage the inception of the village with the required standards of competence. This research aims to analyze the system of recruitment and selection of other villages, supporters and restricting factors, as well as establishing a proper and contextual model in Wonosobo Regency over the approach to the management of human resources. With descriptive method, this study found that the standard of competence has not been a consideration for the Government since the beginning of the planning process, to recruitment and selection. Almost the entire selection process, starting from the determination of the criteria of candidates, selection of administration until the written exams tend not based on competence. In addition, the necessary of the village according to the preference of the villagers also has yet to be fulfilled, thus still encountered complaints from the public. The study also identifies some of the factors supporting the recruitment and selection competency-based, among others, regulation and community support. Later, inhibitor factor, among others, the quality of human resources and organizational needs analysis Committee. Based on these conditions, the model recommendations in this study encourages the process of recruitment and selection apply competency — based in practice, in order to be able to support organizational performance towards the village government is better. Start the process of sourcing, attracting, through screening, based on the needs the competence and analyzed scientifically. Community preference is also a consideration in that process in order to involve the public opinion and build public confidence to the results of the selection. These two factors also continue to support are encouraged to be optimal. Meanwhile, an inhibitor of factor continues to be minimized through a variety of innovations

Special Libraries, October 1960

Volume 51, Issue 8https://scholarworks.sjsu.edu/sla_sl_1960/1007/thumbnail.jp

Special Libraries, March 1961

Volume 52, Issue 3https://scholarworks.sjsu.edu/sla_sl_1961/1002/thumbnail.jp

Special Libraries, October 1960

Volume 51, Issue 8https://scholarworks.sjsu.edu/sla_sl_1960/1007/thumbnail.jp

Special Libraries, Summer 1992

Volume 83, Issue 3https://scholarworks.sjsu.edu/sla_sl_1992/1002/thumbnail.jp