Reasoning (on) Service Component Ensembles in Rewriting Logic

2014 ◽  
pp. 188-211 ◽  
Author(s):  
Lenz Belzner ◽  
Rocco De Nicola ◽  
Andrea Vandin ◽  
Martin Wirsing
Keyword(s):  
Rewriting Logic ◽  
Service Component

Factors that Contribute to Awareness of Halal Logistics among Muslims in the Klang Valley

2017 ◽  
Vol 3 (1) ◽  
pp. 1
Author(s):  
Emi Normalina Omar ◽  
Ahmad Adeel Ramli ◽  
Harlina Suzana Jaafar ◽  
Lailatul Faizah Abu Hassan ◽  
Abdul Kadir Othman ◽  
...  
Keyword(s):  
Religious Belief ◽  
Direct Contact ◽  
Research Paper ◽  
Service Component ◽  
Muslim Countries ◽  
Klang Valley ◽  
Muslim Majority ◽  
Terminal Operations

The demand for Halal products is increasing tremendously not only from Muslim countries but also non-Muslim countries. The component of Halal industry can be classified into three areas, namely services, food and non-food. Halal logistics is categorized into the service component. Halal logistics covers warehousing, transportation and terminal operations. There are three principles of Halal logistics; avoiding direct contact with haram, addressing the risk of contamination, and perception of the Muslim consumer. For non-Muslim countries, the first two principles apply.Malaysia is regarded as a Muslim majority country; therefore, there is a need to explore the level of awareness on Halal logistics. This research paper aims to explore the level of awareness of the Muslim in the Klang Valley, Selangor. Data were collected through convenient sampling from 250 respondents and analyzed by using SPSS.The findings indicate that religious belief is a significant predictor of Halal logistics awareness among Muslims

Automatic generating algorithm of rewriting logic specification for multi-agent system models based on Petri nets

2019 ◽  
Vol 14 (4) ◽  
pp. 403-418 ◽  
Author(s):  
Ammar Boucherit ◽  
Abdallah Khababa ◽  
Laura M. Castro
Keyword(s):  
Petri Nets ◽  
Multi Agent System ◽  
Rewriting Logic ◽  
Agent System ◽  
System Models ◽  
Multi Agent

Autonomous evolution of service system in cluster supply chain

Kybernetes ◽  
2015 ◽  
Vol 44 (1) ◽  
pp. 139-158
Author(s):  
Xiao Xue ◽  
Shufang Wang ◽  
Hao Chao
Keyword(s):  
Supply Chain ◽  
Service Composition ◽  
Service System ◽  
Evaluation Model ◽  
Service Component ◽  
Evolution Mechanism ◽  
Content Type ◽  
External Customer ◽  
Qos Evaluation ◽  
Autonomous Evolution

Purpose – The purpose of this paper is to provide strong theoretical and technical support for the dynamic evolution of service system in “Cluster Supply Chain”(CSC), which can deal with two kinds of context changes: the internal service component changes and the external customer requirement changes. Design/methodology/approach – A “feedback-based” evolution mechanism of service system for CSC is proposed in this study. By means of the feedback update of enterprise service’s Quality of Service (QoS) attribute and the adjustment of the assumed QoS evaluation model, the evolution of service system can be achieved to suit the dynamic market demands. Findings – Results of the study suggest: by means of the “feed-back” evolution mechanism of service system, the enterprises in CSC can handle the context changes effectively to maintain the optimized operation status. Practical implications – The implementation of evolution mechanism in service system can keep the effectiveness of enterprise service composition to face the frequent service component changes and the unpredictable market turbulence. Originality/value – This paper proposes a method to realize the autonomous evolution of service system in CSC, which can support the flexibility and adaptability of enterprise service composition in the changing environment.

Head Start and Social Work

1997 ◽  
Vol 78 (2) ◽  
pp. 172-184 ◽  
Author(s):  
Arthur J. Frankel
Keyword(s):  
Social Work ◽  
Head Start ◽  
Social Workers ◽  
Social Service ◽  
Financial Resources ◽  
Current Status ◽  
Service Component ◽  
Work Involvement ◽  
The Social ◽  
Head Start Programs

The author states that the social work profession is not sufficiently involved with Head Start. Data from a representative sample of Head Start programs shows the minimal role professional social workers play with Head Start even when ample financial resources to hire BSWs or MSWs are available. Evidence suggests, however, that Head Start is open to increased professional social work involvement. The author presents reasons social work professionals are underrepresented in Head Start and recommendations for increasing professional involvement and influence. The author also discusses the history and current status of Head Start, including a thorough description of Head Start's social service component.

scholarly journals A Rewriting Logic Implementation of Erlang

2001 ◽  
Vol 44 (2) ◽  
pp. 206-224 ◽  
Author(s):  
Thomas Noll
Keyword(s):  
Rewriting Logic

scholarly journals Devising a conceptual method for generating cryptocompression codograms of images without loss of information quality

2021 ◽  
Vol 4 (2(112)) ◽  
pp. 6-17
Author(s):  
Vladimir Barannik ◽  
Serhii Sidchenko ◽  
Dmitriy Barannik ◽  
Sergii Shulgin ◽  
Valeriy Barannik ◽  
...  
Keyword(s):  
Information Quality ◽  
Dynamic Range ◽  
Video Data ◽  
Service Component ◽  
Loss Of Information ◽  
Video Information ◽  
Information Components ◽  
Service Data ◽  
Processing Steps ◽  
Better Than

Along with the widespread use of digital images, an urgent scientific and applied issue arose regarding the need to reduce the volume of video information provided it is confidential and reliable. To resolve this issue, cryptocompression coding methods could be used. However, there is no method that summarizes all processing steps. This paper reports the development of a conceptual method for the cryptocompression coding of images on a differentiated basis without loss of information quality. It involves a three-stage technology for the generation of cryptocompression codograms. The first two cascades provide for the generation of code structures for information components while ensuring their confidentiality and key elements as a service component. On the third cascade of processing, it is proposed to manage the confidentiality of the service component. The code values for the information components of nondeterministic length are derived out on the basis of a non-deterministic number of elements of the source video data in a reduced dynamic range. The generation of service data is proposed to be organized in blocks of initial images with a dimension of 16×16 elements. The method ensures a decrease in the volume of source images during the generation of cryptocompression codograms, by 1.14–1.58 times (12–37 %), depending on the degree of their saturation. This is 12.7‒23.4 % better than TIFF technology and is 9.6‒17.9 % better than PNG technology. The volume of the service component of cryptocompression codograms is 1.563 % of the volume of the source video data or no more than 2.5 % of the total code stream. That reduces the amount of data for encryption by up to 40 times compared to TIFF and PNG technologies. The devised method does not introduce errors into the data in the coding process and refers to methods without loss of information quality.

Sign in / Sign up

Export Citation Format

Share Document