The smart devices have been used in the most major domain like the healthcare,
transportation, smart home, smart city and more. However, this technology has been …

The paper presents a two-level software framework for distributed embedded applications.
At the top level, an application is conceived as a composition of embedded actors that …

Online Social Networks (OSNs) have become a rewarding target for attackers. One
particularly popular attack is the Sybil attack, in which the adversary creates many fake …

The aim of this paper is to describe a model-driven embedded systems design approach
which is applied to Industrial Automation and Control Systems (IACS). Therefore, an …

Recently, new trends in application development for distributed platforms, such as the
composable services model, attempt to provide more flexibility in system design, deployment …

We present a simple derivation of vector supersymmetry transformations for topological field
theories of Schwarz-and Witten-type. Our method is similar to the derivation of BRST …

This paper describes a generic framework for the composition of real-time applications
based on multiple services. The framework allows that services specify their functionality, as …

Safety critical real-time systems are becoming ubiquitous in many areas of our everyday life.
Failures of such systems potentially have catastrophic consequences on different scales, in …

Critical systems in areas ranging from avionics to consumer car control systems are being
built by integrated commercial-off-the-shelf (COTS) components. Software components used …

This paper suggests a new test data compression scheme that performs Huffman coding on
different sections of test data file separately. It improves upon the single Huffman tree based …