No abstract

School committees in public primary schools have several issues such as the selection and appointment of administrators, partnerships and political will of the principal, procedures for school committee involvement, and increased participation of school committees in carrying out their main duties and functions to improve the quality of education services. The purpose of this study is to build community and school mind-set to work together to improve the quality of education, to establish an inclusive school for school committees, to find strategies to increase the participation of school committees in improving the quality of education services in schools, to find strategies to increase external stakeholder's participation in improving the quality of education service contributions; and to create standard procedure of synergy of school and school committee in improving quality of Public Primary School education service in Parepare City. The research methods used are mixed research (a combination of quantitative and qualitative) and field research. Objects studied are as many as 75 school committees and Public Primary School managers in Parepare City. This research was conducted by collecting data through questionnaire, observation, interview, document study, triangulation, FGD, and workshop. The result of this research is the selection strategy which refers to Permendikbud Number 75 of 2016 and is undertaken democratically; the principal establishes a joint commitment with the school committee to advance the quality, designs the respective authorities and responsibilities, develops a transparent, accountable, and ICT-based administration system, and develops quality standards and operational standards of quality education service procedures.

No abstract

When a client consumes a cloud service, computational liabilities are transferred to the service provider in accordance to the cloud paradigm, and the client loses some control over software components. One way to raise assurance about correctness and dependability of a consumed service and its software components is monitoring. In particular, a monitor is a system that observes the behavior of another system, and observation points that expose the target system's state and state changes are required. Due to the cloud paradigm, popular techniques for monitoring such as code instrumentation are often not available to the client because of limited visibility, lack of control, and black-box software components. Based on a literature review, we identify potential observation points in today's cloud services. Furthermore, we investigate two cloud-specific monitoring applications based on our ongoing research. While service level agreement (SLA) monitoring ensures that agreed-upon conditions between clients and providers are met, language-based anomaly detection monitors the interaction between client and cloud for misuse attempts.

No abstract

Using Abstract State Machines (ASMs) we can specify a service or piece of software formally for the purpose of future implementation. During the development life-cycle the related specification evolves. Abstract functions and rules are defined, new functions and rules are introduced and arbitrary data structures are instantiated with the specification being refined towards implementation. Two main abstraction levels are introduced in this paper to show a possible classification of abstraction levels of a formal specification. Furthermore, the basic differences and basic transition guidelines between those levels are discussed. A small example of the proposed two main abstraction levels is shown on a high-level specification of a potential transition machine to outline the intended transition process, typical appearance of abstraction level stages and refinement patterns.