In heutigen turbulenten Szenarien müssen produzierende Unternehmen sowohl die Gestaltung von ihren technischen Prozessen und Ressourcen als auch die herzustellenden Produkte an die sich ständig verändernden Geschäftsbedingungen anpassen. In diesem Umfeld gewinnt der Einsatz digitaler Werkzeuge zunehmend an Bedeutung. Um diese Anpassung schnell und effektiv realisieren zu können, ist eine Wissen...

Bounded Model Checking (BMC) searches for counterexamples to a property φ with a bounded length k. If no such counterexample is found, k is increased. This process terminates when k exceeds the completeness threshold CT (i.e., k is sufficiently large to ensure that no counterexample exists) or when the SAT procedure exceeds its time or memory bounds. However, the completeness threshold is too l...

Knowledge and information workers work as individuals within virtual team structures. Those teams may be small, or they may in fact form part of larger groups which continue to share similar objectives. Knowledge workers therefore acquire and manage personal and group information which they may choose to manage themselves using Personal and small-Group Information Management tools and technique...

Thanks to the Model Driven Engineering we can talk of intelligent systems capable of generating other systems from given specifications. In this paper we present a real case of application of Model Driven Engineering (or Model Driven Development) with which you can create complete systems ready to be deployed from models used as input specifications. In our example we show how this concept can ...

Schema evolution has recently gained much interest in both research and practice. However, most of the existing works deal with separate aspects of the problem such as evolution of XML schemas or evolution of conceptual schemas. In addition, all of them view the problem only from the perspective of a single application. In this paper we show that schema evolution has several different levels at...

Since its design in 2003, the joint Simon task and corollary joint Simon effect (JSE) have been invaluable tools towards the study of joint action and the understanding of how individuals represent the action/task of a co-actor. The purpose of this meta-analysis was to systematically and quantitatively review the sizeable behavioural evidence for the JSE. Google Scholar was used to identify stu...

This paper makes two contributions to the verification of multi agentsystems modelled by interleaved interpreted systems. Firstly, the paper presents theoretical underpinnings of the SAT-based bounded model checking (BMC) approach for LTL extended with the epistemic component (LTLK) over interleaved interpreted systems. Secondly, the BMC method has been implemented and tested on several benchma...

Device heterogeneity in wireless sensor networks is rendering such networks increasingly difficult to program. To address this problem, we present Servilla, a novel middleware that enables applications to be both platform-independent and efficient despite executing over a diverse and dynamic set of devices. It achieves this by using service-oriented computing and requiring all platform-specific...