Search results for " Programming"
showing 10 items of 1616 documents
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 …
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…
Le idee e il muro del suono. I programmi per elaboratore nella più recente giurisprudenza europea
2013
Computer programs in the most recent european case law
The Robotic Construction Kit as a Tool for Cognitive Stimulation in Children and Adolescents: The RE4BES Protocol
2019
Through numerous experiences, the robotics has been demonstrated to have good potential in the field of strengthening social skills in children with Special Educational Needs and in particular with autism spectrum disorder. There are still not many experimental studies on the cognitive enhancement and social skills of children with special needs conducted with robotics construction kits that, requiring both the construction of the robot body and the programming of its “mind“, bring into play a multiplicity of cognitive and social skills. For the aforementioned reasons our team from the University of Palermo and from the Center MetaIntelligenze ONLUS developed the treatment protocol RE4BES, …