Article history: Received 20 May 2015 Received in revised form 19 June 2015 Accepted 19 June 2015 Available online xxxx

Nowadays, with the presence of technology in the human life, organizational levels have received a lot of changes which affected the operational aspects and the organizational structures from traditional to modern. Therefore, this study investigated the role of technology management to predict operational performance as the most important sources for gaining competitive advantages. It aimed to ...

s = f form: e : etg

Deliberation over and management of goals is a key aspect of an agent’s architecture. We consider the various types of goals studied in the literature, including performance, achievement, and maintenance goals. Focusing on BDI agents, we develop a detailed description of goal states (such as whether goals have been suspended or not) and a comprehensive suite of operations that may be applied to...

Bialgebras and distributive laws are an abstract, categorical framework to study various flavors of Structural Operational Semantics. This papers aims to introduce the reader to the basics of bialgebras for operational semantics, and to sketch the state of the art in this research area.

A format for well-behaved translations between structural operational specifications is derived from a notion of distributive law morphism, previously studied by Power and Watanabe. 1998 ACM Subject Classification F.3.2 Semantics of Programming Languages – Operational semantics

In this paper, we give novel and more liberal notions of operational and equational conservativity for language extensions. We motivate these notions by showing their practical application in existing formalisms. Based on our notions, we formulate and prove meta-theorems that establish conservative extensions for languages defined using Structural Operational Semantics (SOS).

This paper addresses two key issues in modern policyoriented poverty research. First, we recognize that poverty is an individual feeling and not an objective status. This leads to an operational definition of subjective poverty as being below a certain degree of satisfaction. Second, we distinguish several domains of life, and consequently, several types of poverty, each pertaining to a specifi...

Intelligent tutoring Systems (ITSs) adapt content and activities with the goals of being both effective and efficient instructional environments. They have goals for students to be challenged and guided in an optimal way--without being too overwhelmed with difficult material or too bored with easy or repetitive material. We propose a particular definition of the zone of proximal development (ZP...