Current business trends, policy markets, production requirements, etc., have created the need for integrating pre-existing Multi Agent Systems (MAS). In the agent-specialized literature, we have found very little work about agent architectures and methodologies that allow us to carry out recursive and dynamic analysis, design, and implementation of MASs. Several difficult challenges for automat...

We show that it is possible to reliably discriminate whether a syntactic construction is meant literally or metaphorically using lexical semantic features of the words that participate in the construction. Our model is constructed using English resources, and we obtain state-of-the-art performance relative to previous work in this language. Using a model transfer approach by pivoting through a ...

pseudoparasitus talebii nemati, malekshah-koohi & afshari n. sp. is described and illustrated based on female specimens collected from soil in golestan province, gorgan region, iran. the definition of pseudoparasitus oudemans is revised and new definition is presented.

Autonomy is an often cited but rarely agreed upon agent characteristic. As the demand for agents capable of adjustable autonomy increases, a formal definition of agent autonomy becomes necessary to provide a foundation for work in the area as well as to support operational deployment of the concept. This paper presents such a definition. Based on this definition, an autonomy representation is p...

This paper deals with the automatic building of personalized hypermedia. We build upon ideas developed for educational hypermedia; the definition of a domain model and the use of overlay user models. Since much work has been done on learning user models and adapting hypermedia based on such models, we tackle the core problem: the automatic definition of a domain model for a static hypermedia.

We extend definitions of information flow so as to quantify the amount of information passed; in other words, we give a formal definition of the capacity of covert channels. Our definition uses the process algebra CSP, and is based upon counting the number of different behaviours of a high level user that can be distinguished by a low level user.

1 Context and challenges Model checking is a technique used to verify that a certain system's design satisfies its requirements. Given some models of the design and system's requirements formulated as formal properties, the system model can be checked [1], and if properties are violated, the model checker provides the user with counter examples that represent execution sequences (traces) leadin...