Search results for "xec"
showing 10 items of 533 documents
PMG-pro: A model-driven method for the development of service-based applications in a heterogenous services environment
2010
This paper presents PMG-pro (present, model, generate and provide), a development method of service-based applications. With PMG-pro, the composition of heterogeneous pre-made services is done at model levels and thereby different executable software systems for different target platforms can be generated automatically. To illustrate the method, we present a case study of developing a service-based application in a smart home environment.
Architetture di Culotta e Leone nel centro storico di Cefalù: piano, progetto e attuazione
2016
Per gran parte del Novecento gli interventi architettonici nei contesti storici sono stati ricondotti entro i poli della conservazione e trasformazione. In Italia gli anni Ottanta hanno segnato una tappa decisiva nel percorso teorico, metodologico e operativo verso l’approccio richiesto dalle attuali e futuribili condizioni delle aree urbane di antico impianto: guidato da strategie a lungo termine; più responsabile; multiscalare e includente l’intera città contemporanea. L’esperienza di Culotta e Leone nel centro storico di Cefalù, pur costituendo un unicum per il loro ancoramento alla realtà sociale del luogo, fornisce un interessante esempio di continuità tra piano, progetto e attuaz…
Programming distributed applications with symbolic reasoning on WSNs
2015
Programming Wireless Sensor Networks (WSNs) is a complex task for which existing approaches adopt rigid architectures that are only suitable for specific application fields. In previous papers we introduced a programming methodology and a lightweight middleware based on high-level programming and executable code exchange for distributed processing on WSNs. In this paper, we show how high-level programming can be effectively used on WSNs to implement symbolic reasoning. In order to prove the feasibility of our approach, we present a Fuzzy Logic system where the value updates and the rule evaluations are performed in a distributed way. Through the proposed methodology, we discuss the developm…
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 …
A Middleware to Develop and Test Vehicular Sensor Network Applications
2019
The Smart city ecosystem is composed of several networked devices that provide services to citizens and improve their quality of life. Basic services, which must be exposed by the underlying software infrastructure, require efficient networking and communication protocols to coordinate and manage all the system components. In particular, Vehicular Sensor Networks (VSNs) are envisioned as key components of smart cities. Verification is crucial in such a highly dynamic scenario to ensure operation correctness and to reduce the development cost of smart applications. However, the rigidity of existing middlewares makes development, reconfiguration, and testing rather difficult. In this work, we…
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 …
L’inadempimento dello Stato all’obbligo di attuazione delle direttive europee e il problema del risarcimento del danno
2012
Il saggio affronta il tema della responsabilità dello Stato per mancata o inesatta attuazione di direttive dell’Unione europea di carattere non self-executing ma attributiva in maniera sufficientemente specifica di diritti. L’a. critica l’orientamento della Corte di Giustizia sul punto e la conseguente giurisprudenza della Corte di Cassazione, segnalando lo smarrimento del senso delle forme giuridiche che lo caratterizza e l’intrinseca debolezza del diritto privato europeo che ciò comporta. Ad ogni modo, la regola di responsabilità per tale forma di violazione del diritto dell’Unione è vigente e l’a. ritiene che essa rivesta non già natura extracontrattuale ma contrattuale e integri un’ulte…
Ritardata attuazione delle direttive comunitarie e adeguata remunerazione dei medici specializzandi: tra prescrizione del diritto ed effettività dell…
2012
Nota alla sentenza del Tribunale Roma, sezione II, del 15 marzo 2011, per la quale, in caso di mancato o tardivo recepimento di una direttiva comunitaria, lo Stato è contrattualmente responsabile per inadempimento di un'obbligazione legale di natura indennitaria per attività non antigiuridica. La sentenza e il commento affrontano le diverse interpretazioni possibili sull'applicabilità della prescrizione del diritto al risarcimento del danno al caso dei medici specializzatisi prima della trasposizione della direttiva, con la quale si è previsto in loro favore il diritto ad un'adeguata remunerazione.
ANCORA SULLA REVISIONE NEL CASO CONTRADA: LE OSSERVAZIONI DELLA PROCURA GENERALE PRESSO LA CORTE DI CASSAZIONE
2017
Osservazioni sugli strumenti atti a dare esecuzione alle censure della Corte europea, alla Luce delle argomentazioni della Procura generale presso la Corte di Cassazione.
Emotional intelligence in children with severe sleep-related breathing disorders
2019
Background. Obstructive sleep apnea syndrome (OSAS) affects up to 4% of a pediatric population, with many comorbidities in the medium-long term. Functional alterations in the prefrontal cortex (PFC) may explain why OSAS impacts aspects such as executive functions, memory, motor control, attention, visual-spatial skills, learning, and mood regulation. Emotional intelligence (EI) is a complex neuropsychological function that could be impaired in many clinical conditions. Purpose. The aim of the study is to evaluate the difference in emotional intelligence skills among children with OSAS and healthy subjects (nOSAS). Methods. 129 children (72 males; mean age 7.64±1.98 years) affected by OSAS w…