Home page | IRIS Fondazione Bruno Kessler

Prodotti recenti

Secure aggregation in hybrid mesh/sensor networks

Several researchers are proposing information systems-based wireless sensor networks (WSNs) that provide an extensible and effective means to monitor large and diverse geographical areas. Nodes in a WSN are characterized by very limited computing capabilities and energy consumption is a major...

iTheater Puppets Tangible Interactions for Storytelling

In this paper we present preliminary work on iTheater, an interactive integrated system for story-creation and storytelling, dedicated to young children. Based on the analogy with hand puppets theatre, the system aims to create an interactive environment where children will be able to&#...

Trigger Detection Using Geographical Relation Graph for Social Context Awareness

The concept of context awareness is believed to be a key enabler for the new ubiquitous network service paradigm brought by cloud computing platforms and smartphone OSs. In particular, autonomous context-based service customization is becoming an essential tool in this context because u...

COGMAN: A cognitive management framework to support exploitation of the Future Internet

In this article, a cognitive management framework is proposed for ensuring exploitation of the Future Internet (FI). Cognitive systems offer self-x and learning. A cognitive system has the ability to dynamically select its behavior through self-management/awareness functionality, taking into acco...

Incremental Linearization for Satisfiability and Verification Modulo Nonlinear Arithmetic and Transcendental Functions

Satisfiability Modulo Theories (SMT) is the problem of deciding the satisfiability of a first-order formula with respect to some theory or combination of theories; Verification Modulo Theories (VMT) is the problem of analyzing the reachability for transition systems represented in terms of&#...

CINECA IRIS Institutional Research Information System