1,512 research outputs found
UNDERSTANDING MARKETS IN AFGHANISTAN: A CASE STUDY OF CARPETS AND THE ANDKHOY CARPET MARKET
Industrial Organization,
Cofiniteness of weakly Laskerian local cohomology modules
Let be an ideal of a Noetherian ring R and M be a finitely generated
R-module. We introduce the class of extension modules of finitely generated
modules by the class of all modules with and we show it by
where is an integer. We prove that for any (or minimax) submodule N of the R-modules are
finitely generated, whenever the modules , , ...,
are (or weakly Laskerian). As a consequence,
it follows that the associated primes of are finite. This
generalizes the main results of Bahmanpour and Naghipour, Brodmann and
Lashgari, Khashyarmanesh and Salarian, and Hong Quy. We also show that the
category of -cofinite ~
-modules forms an Abelian subcategory of the category of all -modules.Comment: 8 pages, some changes has been don
A Metamodel for Jason BDI Agents
In this paper, a metamodel, which can be used for modeling Belief-Desire-Intention (BDI) agents working on Jason platform, is introduced. The metamodel provides the modeling of agents with including their belief bases, plans, sets of events, rules and actions respectively. We believe that the work presented herein contributes to the current multi-agent system (MAS) metamodeling efforts by taking into account another BDI agent platform which is not considered in the existing platform-specific MAS modeling approaches. A graphical concrete syntax and a modeling tool based on the proposed metamodel are also developed in this study. MAS models can be checked according to the constraints originated from the Jason metamodel definitions and hence conformance of the instance models is supplied by utilizing the tool. Use of the syntax and the modeling tool are demonstrated with the design of a cleaning robot which is a well-known example of Jason BDI architecture
A Model-Driven Engineering Technique for Developing Composite Content Applications
Composite Content Applications (CCA) are cross-functional process solutions built on top of Enterprise Content Management systems assembled from pre-built components. Considering the complexity of CCAs, their analysis and development need higher level of abstraction. Model-driven engineering techniques covering the use of Domain-specific Modeling Languages (DSMLs), can provide the abstraction in question by moving software development from code to models which may increase productivity and reduce development costs. Hence, in this paper, we present MDD4CCA, a DSML for developing CCAs. The DSML presents an abstract syntax, a concrete syntax, and an operational semantics, including model-to-model and model-to-code transformations for CCA implementations. Use of the proposed language is evaluated within an industrial case study
- …
