In this paper is presented an update of the model checker CTL. The minimal modifications which appear represent the fundamental concept for model the dynamic system. In the paper used five primitive operations discompose from the operation of a CTL update used already by [1] which are presented their approach of knowledge update the structures of single agent S5 Kripke. Then is willed defined t...

At present, over 15 million smartphones in Germany use Android as an operating system. This number does not even include the additional millions of Android tablets that are currently in use. Surveys have shown that every Android device uses at least 20 other apps. Despite this fact, not one of the top 20 most popular smartphone apps is an antivirus app, which is completely incomprehensible give...

This paper presents the main characteristics of an Agent{based Architecture for the design and implementation of a Spoken Dialogue System. From a theoretical point of view, the system is based on the Information State Update approach, in particular, the system aims at the management of Natural Command Language Dialogue Moves in a Home Machine Environment. Speci cally, the paper is focused on th...

While antivirus software is an essential part of nearly every computer, users often ignore its warnings and they are often unable to make a safe response when interacting with antivirus software. The aim of our study was to find working connections to increase a number of mobile device users who select a premium license with more security features over a free license with a limited level of sec...

Marketing-mix plays an essential role in the competitive business environment. Marketing decision makers constantly need to monitor changes in the environment and organization to make necessary changes. Therefore, a knowledge management system is required to acquire, store, retrieve and use up-to-dated knowledge. Corporations also tend to look for systems assisting them in knowledge management....

In this paper we define a model of a web multi-agent system that combines the use of Semantic Web technologies together with the application of user profiles to carry out information retrieval and filtering tasks. It is designed using fuzzy linguistic techniques which allow dealing with information in a user-friendly way. The system activity is developed in two phases: a retrieval phase to gath...

Knowing when and how to communicate and coordi nate with other agents in a multi agent system is an important e ciency and reliability question Contex tual rules governing this communication must be pro vided to the agent or generated at runtime through environmental analysis In this paper we describe how the T MS task modeling language is used to encode such contextual coordination rules and h...

Abstract— In order to provide complete security in a computer system and to prevent intrusion, intrusion detection systems (IDS) are required to detect if an attacker crosses the firewall, antivirus, and other security devices. Data and options to deal with it. In this paper, we are trying to provide a model for combining types of attacks on public data using combined methods of genetic algorit...