This thesis is concerned with operational analysis of UML 2.x sequence diagram specifications. By operational analysis we mean analysis based on a characterization of the executions of sequence diagrams, or in other words an operational semantics for sequence diagrams. We define two methods for analysis of sequence diagram specifications – refinement verification and refinement testing – and bo...

this article aimed to study the development of memory in transition from preoperational to the operational stage in 120 children in the age range of 4 to 8. in order to test the cognitive level (intelligence), the conservation test of seriation was applied. children were asked to draw from memory what they had done during seriation test. the test was administred at different intervals: one hour...

Accessing and integrating data from heterogeneous sources has become a significant challenge. So-called adapters provide the functionality for translating SQL queries into queries understandable by the source as well as converting the results into a common model. In this paper, we present our approach of an adapter for Web sources, which is configurable by specifying a sourcespecific extraction...

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

Partial nitrification was reported to be technically feasible and economically favorable, especially for wastewaterwith high ammonium concentration or low C/N ratio. In this study, the effect of dissolved oxygen (DO)and influent ratio of chemical oxygen demand to nitrogen (COD/N) ratio on biological nitrogen removal fromsynthetic wastewater was investigated. Experiments were c...

We develop a method to simulate deterministically the operational Parallel Random Access Machine (PRAM) on a PRAM prone to processor and memory failures. It is shown that an n-processor PRAM with a bounded fraction of faulty processors and memory cells can simulate de-terministically the fully operational PRAM with O(log n) slowdown, after preprocessing performed in time O(log 2 n).

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...