The paper discusses a proposal of a formal description of ARD+ a conceptual design and hierarchical refinement method for knowledge-based systems. Formalization of method syntax is given, as well as description of its semantics. ARD+ is a rework of the classic ARD presented elsewhere, that provides a conceptual design for rule-based systems. ARD+ is based on the concept of gradual design where ...

In this demo proposal, we describe our prototype application, SIERRA, which combines text-based and content-based image retrieval and allows users to link together image content of varying document granularity with related data like annotations. To achieve this, we use the concept of superimposed information (SI), which enables users to (a) deal with information of varying granularity (sub-docu...

In this paper we present a novel methodology for textual case-based reasoning. This technique is unique in that it automatically discovers case and similarity knowledge, is language independent, is scaleable and facilitates semantic similarity between cases to be carried out inherently without the need for domain knowledge. In addition it provides an insight into the thematical content of the c...

Mobile agents can migrate among nodes to perform a set of management tasks at each of the visited nodes. Existing mobile agent-based network management systems often assume that their mobile agents are designed to work in particular networks to raise the efficiency of agent migration among multiple nodes. Unfortunately, such mobile agents cannot be reused in different networks. This paper propo...

The extraction of reusable software components from existing systems is an attractive idea. The goal of the work in this paper is not to extract a component automatically, but to identify its tightly coupled region (subsystem) for extraction by hand or knowledge-based system. Much of our experience is anecdotal. Our experience with scientific systems differs from much of the work in reverse eng...

This paper describes a preliminary study where a multiplayer location-based game’s logfiles were used for the assessment of the overall practice of teams. We explore the use of activity metrics previously introduced and applied to CSCL settings. We argue that these metrics, if adapted in a meaningful way, will provide insight of the progress of a location-based gaming activity and its quality r...

This paper presents an ambient agent-based model that addresses the assessment of driving behaviour. In case of negative assessment, cruise control slows down and stops the car. The agent model has been formally specified in a component-based manner in the form of an executable specification that can be used for prototyping. A number of simulation experiments have been conducted. Moreover, dyna...

The paper presents possibilities of improving design and manufacturing preparation processes of configurable (variant) products in scope of realization of mass customization strategy. Knowledge based engineering tools are presented as a base for building systems for automation of design and manufacturing preparation. Methodologies of building KBE systems are presented and described, authors’ ow...

We present a certificate-based encryption scheme which is fully secure in the standard model. Our scheme is based on the identity-based encryption scheme of Waters [16]. Although some generic constructions from IBE to CBE has been previously proposed, they use the Random Oracle heuristic or provide less practical schemes than ours. Finally, we point out that one of the existing generic construc...

The present study aimed to investigate the effect of picture-based vs. context-base method onIranian intermediate EFL learners' knowledge of prepositions. The main question this study triedto answer were whether using picture-based vs. context-based method might enhance higherknowledge of prepositions in Iranian learners of English at intermediate level. To answer thequestions, 45 intermediate ...