Ensembles are groups of active entities that collaborate to perform a certain task. Modeling
software systems for ensemble execution is challenging since such applications are highly …

Team Automata is a formalism for interacting component-based systems proposed in 1997,
whereby multiple sending and receiving actions from concurrent automata can synchronise …

Cyber–physical space systems are engineered systems operating within physical space
with design requirements that depend on space, eg, regarding location or movement …

This paper deals with the design and applications of digital differentiators. For real time
applications it is mandatory that a differentiator should have as small an order as possible …

Mobile computing systems have generated many concerns. Numerous studies have been
performed to model and analyze these systems. This paper focuses on the existing …

Compatibility of components is an important issue in the quest for systems of systems that
guarantee successful communications, free from message loss and indefinite waiting for …

We provide a new look at formal aspects of component substitutability (replacement of a
component with a new one) and independent implementability (reuse of a component in any …

We study guarantees for safe communication in systems of systems composed of reactive
components that communicate through synchronised execution of common actions. Systems …

Abstract As the Internet of Things technology is finding more wide applications; wearable
smart systems such as smart phones have gradually come into our lives. The smart …

Borrowing the thoughts of component interaction, the concept of Logic Component (LC) is
proposed, and a Web application is divided into LCs which is mapped into the actual …