The paper addresses the problem of using software environments allowing distributed declarative programming, as components of an open system. This enables declarative programs to call services provided by other languages, possibly with diierent computational models, like object-oriented, or imperative. On the other hand, a declarative system may export certain services, thus becoming a server i...

Today’s communication networks are threatened by an increasing number intrusion attempts, worms, and denial of service (DoS) attacks. Apart from general measures for attack prevention, the possibility to detect ongoing attacks in order to take appropriate countermeasures constitutes an important asset for network security. We present a novel approach for attack detection based on cooperating au...

We describe a language providing concepts for modeling autonomous entities (agents) and cooperating entities (groups). Agents are the execution units of a GroupLog program. Each agent possesses a hidden internal behavior and a well-deened communications interface and its behavior is deened by a set of logical rules. Groups are important to model agent cooperation in a exible and well-structured...

Dynamic reliability explicitly handles the interactions between the stochastic behavior of system components and the deterministic behavior of process variables. However, its industrial level applications are still limited, notably due to the inherent complexity of the theory and the lack of a generic modeling framework. The increased use of digital-based systems has also introduced additional ...

Financial system of B&H is “bank dominated”, which means that banks (credit institution) is dominated financial institutions in the financial system. Banks have major role in financial intermediation process between deficit and surplus money unites. Having on mind specific features of financial systems in Bosnia and Herzegovina it’s important to analyses characteristics each segment of fi...

Cooperating Distributed Grammar systems have been introduced for describing multi-agent systems by means of formal grammars and languages. There are currently a lot of variations that differ by generative power. This article is focused on summarize definitions of selected CD grammar systems (homogenous, hybrid, and teams) and comparison of their generative power among themselves and against to ...

For my grandfather Heinrich, who passed away during the final days of the preparation of this thesis.

This paper investigates if service registration and lookup could become a usable component in future middlewares for cooperating embedded systems, e.g. wireless sensor networks and automotive networks. As a main part of this investigation, three different traditional middleware architectures have been investigated, focusing on how service registration and lookup is implemented in them. They are...

Stream X-machines are a general and powerful computational model. By coupling the control structure of a stream X-machine with a set of formal grammars a new machine called generalized stream X-machine with underlying distributed grammars, acting as a translator, is obtained. By introducing this new mechanism a hierarchy of computational models is provided. If the grammars are of a particular c...

Business operations, including sales, marketing, manufacturing, and design, can no longer be done in isolation, but must be done in a global context, i.e., as part of an enterprise. A characteristic of such enterprises is that their information systems are large and complex, and the information is in a variety of forms, locations, and computers. The information systems can be large in several s...