Design and development of increasingly complex intelligent environments require rich
design flows that include strong validation and verification methodologies. Formal …

Automatic service composition finds applicability in many different domains. Composition
comes into play when a user's request cannot be fulfilled by a single software module, but …

By 2030, over a half trillion devices will be connected to the internet. With so many devices
providing a wide range of features, there is a need for a framework for innovation and reuse …

We argue that the success of the Internet of Things (IoT) vision will greatly depend on how its
main ingredient—the ''thing''—is architected and prepared to engage. The IoT's fragmented …

The Internet of Things (IoT) aims at sensing and altering our surrounding environment
through connected objects to improve everyday life. IoT applications are built using …

In Internet of Things (IoT) scenarios, the coordination of physical systems is often complex
and rigid. Work to date has not comprehensively explored how to flexibly construct …

This paper presents a middleware platform, Prottoy for the development of smart object
systems. A smart object has some specific characteristics eg, augmentation variation …

We argue that the success of the Internet of Things (IoT) vision will greatly depend on how its
main ingredient-the “thing”-is architected and prepared to engage. The IoT's fragmented and …

The collaboration of contiguous Internet of Things (IoT) devices is envisioned to satisfy
complex applications which are beyond the capacity of single devices. The functionalities of …

Smart objects are around us, more than in the past, and their services are available for being
used. Large scale consolidation and easy availability of the IoT paradigm, pervasive …