This paper presents an approach based on a user agent to permit a number of users connected to distant machines to access different information sources in order to satisfy their requests. This user agent permits the simpli®cation of the information search from distributed sources by making them transparent to the users. The agent considers the speci®c needs of each user during the search and re...

This article presents a UML profile for an OCL extension that enables modelers to specify behavioral, state-oriented real-time constraints in OCL. In order to perform a seamless integration into the upcoming UML2.0 standard, we take the latest OCL2.0 metamodel proposal by Warmer et al. [22] as a basis. A formal semantics of our temporal OCL extension is given by a mapping to timeannotated tempo...

The one dimension computational model of a sequential injection engine, which runs on compressed natural gas (CNG) with spark ignition, is developed for this study, to simulate the performance of gas flow pressure profile, under various speed conditions. The computational model is used to simulate and study of the steady state and transient processes of the intake manifold. The sequential injec...

in despite of all progress in technology in mining industry, still labor is one of the key factors in mining operation. this paper presents a system dynamics approach to evaluate the mining labor productivity. therefore, after the identification of main effective variables, two quantitative and qualitative models were built. the qualitative model illustrates the complex interrelated structure o...

the study discusses the traditional and online procedures and outlines of sdi service. the paper has also taken an initiative to formulate an exact matching technique between user’s subject interest and document profile with exploration along with electronic delivery of voluminous information technique. it also discusses some standard features and model of user profile. finally, the paper explo...

In this paper we present X-Learn, an XML-based, multiagent system for supporting “user-device” adaptive e-learning. X-Learn is characterized by the following features: (i) it is highly subjective, since it handles quite a rich and detailed user profile that plays a key role during the learning activities; (ii) it is dynamic and flexible, i.e., it is capable of reacting to variations of exigenci...

The quantitative changes of the high mobility group (HMG) nonhistone chromosomal proteins in nondividing, differentiated peritoneal exudate neutrophils were identified by their solubility, electrophoretic mobility on both SDS and acetic acid gels, densitometric traces and elution profile on CM-sephadex. The results indicated that in neutrophils, HMGl undergoes a considerable reduction (80%...

The Ravenscar profile for Ada enforces several restrictions on the usage of general-purpose tasking constructs, thereby facilitating most analysis tasks and in particular functional and timing verification using model checking. This paper presents an experiment in translating the Ravenscar fragment of Ada into the input language of a timed model checker (IF [7, 8]), discusses the difficulties a...