In this work, we propose a variant of P system based on the rewriting of string-objects by means of evolutionary rules. The membrane structure of such a P system seems to be a very natural tool for simulating the filters in accepting networks of evolutionary processors with filtered connections. We discuss an informal construction supporting this simulation. A detailed proof is to be considered...

The article presents the results of research conducted in order to determine comprehensibility (intelligibility) text signs on educational paths Warsaw’s city forests. This evaluation was carried out with use an online IT tool—Promovolt. obtained were confronted assessment users and opinion expert group, which consisted people involved design materials. indicate that majority analyzed interpret...

Starting with Shoup’s seminal paper [24], the generic group model has been an important tool in reductionist security arguments. After an informal explanation of this model and Shoup’s theorem, we discuss the danger of flaws in proofs. We next describe an ontological difference between the generic group assumption and the random oracle model for hash functions. We then examine some criticisms t...

This article deals with traceability in knowledge repositories. More precisely, we concentrate on the role of terminological knowledge in the mapping between (informal) textual requirements and (formal) object models. We show that terminological knowledge facilitates the production of traceability links and model generation, provided that language processing technologies allow to elaborate semi...

Enterprise modelling focuses on the construction of a structured description of relevant aspects of an enterprise, the so-called enterprise model. Within this contribution we describe a wiki-based tool for enterprise modelling, called MoKi (Modelling wiKi). It specifically facilitates collaboration between actors with different expertise to develop an enterprise model by using structural (forma...

In this paper we show how multi-theory logic programming techniques can be prootably applied to the realization of multi-agent systems which solve complex problems. Our goal is to use logic programming as a tool to give an executable speciication of a multi-agent system, obtained from a high-level informal description of the interactions among the diierent system components. We have implemented...

Key performance indicators are a widely used tool to manage any type of processes including manufacturing, logistics, and business processes. We present an approach to map informal specifications of key performance indicators to prototypical data warehouse designs that support the calculation of the KPIs via aggregate queries. We argue that the derivation of the key performance indicators shall...

Today’s youth thrive in informal participatory communities where they not only consume but also act as contributors or producers. In a participatory culture of learning, students’ active contributions to their learning are stressed and peer assessment is considered as an important component. In this paper we investigate which user experiences should be supported in a playful peer feedback tool ...

Over 85% of Cameroonians use building informal sector mechanisms which involve a disorganized and varied workforce, types qualities materials from various origins with unclear supply networks, supported by wide range funding sources. Although previous work enabled us to master these mechanisms, their complexity is accentuated sustainable development requirements sanitary measures. Sustainabilit...