Search results for " Program"

High-level Programming and Symbolic Reasoning on IoT Resource Constrained Devices

2015

While the vision of Internet of Things (IoT) is rather inspiring, its practical implementation remains challenging. Conventional programming approaches prove unsuitable to provide IoT resource constrained devices with the distributed processing capabilities required to implement intelligent, autonomic, and self-organizing behaviors. In our previous work, we had already proposed an alternative programming methodology for such systems that is characterized by high-level programming and symbolic expressions evaluation, and developed a lightweight middleware to support it. Our approach allows for interactive programming of deployed nodes, and it is based on the simple but effective paradigm of …

Il Linguaggio C - Fondamenti e tecniche di programmazione

2013

SMCP: a Secure Mobile Crowdsensing Protocol for fog-based applications

2020

Abstract The possibility of performing complex data analysis through sets of cooperating personal smart devices has recently encouraged the definition of new distributed computing paradigms. The general idea behind these approaches is to move early analysis towards the edge of the network, while relying on other intermediate (fog) or remote (cloud) devices for computations of increasing complexity. Unfortunately, because both of their distributed nature and high degree of modularity, edge-fog-cloud computing systems are particularly prone to cyber security attacks that can be performed against every element of the infrastructure. In order to address this issue, in this paper we present SMCP…

Enabling Multimodal Interaction in XPL – the eXtensible Presentation Language

2007

This paper introduces the multimodal extension of the eXtensible Presentation architecture and Language (XPL), a framework aimed at streamlining multi-channel interface design process and enabling full component reuse. XPL incorporates a presentation language based on design pattern paradigm, which supplies a clear distinction between the presentation layer and the corresponding programming logic, promoting contents aggregation and a variety of event handlers described without relying on a (procedural) scripting language. In this paper, the design pattern concept is extended to voice-based interaction, and two verbal design pattern (VeDP) are introduced along to their visual counterparts. T…

A machine learning approach for user localization exploiting connectivity data

2016

The growing popularity of Location-Based Services (LBSs) has boosted research on cheaper and more pervasive localization systems, typically relying on such monitoring equipment as Wireless Sensor Networks (WSNs), which allow to re-use the same instrumentation both for monitoring and for localization without requiring lengthy off-line training. This work addresses the localization problem, exploiting knowledge acquired in sample environments, and extensible to areas not considered in advance. Localization is turned into a learning problem, solved by a statistical algorithm. Additionally, parameter tuning is fully automated thanks to its formulation as an optimization problem based only on co…

Verification of Symbolic Distributed Protocols for Networked Embedded Devices

2020

The availability of versatile and interconnected embedded devices makes it possible to build low-cost networks with a large number of nodes running even complex applications and protocols in a distributed manner. Common tools used for modeling and verification, such as simulators, present some limitations as application correctness is checked off-board and only focuses on source code. Execution in the real network is thus excluded from the early stages of design and verification. In this paper, a system for modeling and verification of symbolic distributed protocols running on embedded devices is introduced. The underlying methodology is rooted in a symbolic programming paradigm that makes …

Separation of Concerns and Role Implementation in the PASSI Design Process

2007

The use of design patterns proved successful in lowering the development time and number of errors when producing software with the object-oriented paradigm. In previous works we engaged the production of a tool for the reuse of patterns for multi-agent systems. Now we are fronting a new problem: automatic code generation for agents, designed with a specific methodology, with the support of design patterns and using an aspect oriented approach. In this work we present our preliminary experiences in the identification, description, production and use of aspects for multi agent systems and a tool for code production.

A visual framework to support collaborative coding activities

2019

In this paper, we present a framework named SIRENE, a Web-based visual programming environment, where teachers and students can collaboratively interact, using a flexible and versatile definition of visual programming code instead of pre-established rules. After the description of the architecture of the SIRENE framework, the preliminary results of a pilot trial with secondary school students will be presented; these results will lead to the final remarks and directions for further developments.

Designing for Student-Centered Hybrid Learning Environments: A Framework for Programming Languages Course Design

2022

Hybrid learning environments are a means of delivering instructional content in that online educational materials and opportunities for interaction were combined with traditional classroom methods. Hybrid learning environments give students the opportunity to work in an environment enriched with digital learning tools, and to support student-based learning approach. Student-based learning approach promotes engagement to make students active learners via various ways such as interactivity, feedback, etc. Researchers identified feedback as an activity for promoting effective online learning and more so creating the environment for teacher-student teaching and learning interaction. Besides, so…

Decisioni con impegni, misure cautelari e programmi di clemenza (anno 2012)

2013

Le decisioni con impegni, le misure cautelari e i programmi di clemenza costituiscono strumenti innovativi ed efficienti di cui l’Autorità garante della concorrenza e del mercato (Agcm) è stata dotata, a far data dal 2006, nella repressione delle intese e degli abusi di posizione dominante. La dottrina italiana ha sottolineato come, fino al 2011, la prassi decisionale dell’Agcm sia stata caratterizzata da un eccessivo ed irragionevole ricorso alle decisioni con impegni, a fronte di una limitata adozione di misure cautelari e di un sostanziale insuccesso dei programmi di clemenza. Nell’arco di tempo preso in considerazione dalla presente rassegna — l’anno 2012 —, l’Agcm non ha mai ritenuto o…