Search results for " code"

showing 10 items of 636 documents

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 …

Settore ING-INF/05 - Sistemi Di Elaborazione Delle InformazioniSymbolic programmingExecutable Code ExchangeSource codeCorrectnessbusiness.industryComputer scienceDistributed protocolSymbolic programmingmedia_common.quotation_subject020208 electrical & electronic engineering02 engineering and technologyResource (project management)Embedded system0202 electrical engineering electronic engineering information engineeringResource-constrained Device020201 artificial intelligence & image processingEmbedded SystemModeling and verificationDistributed applicationbusinessProtocol (object-oriented programming)media_commonAbstraction (linguistics)
researchProduct

A User-Friendly Interface for Fingerprint Recognition Systems Based on Natural Language Processing

2009

Biometric recognition systems represent a valid solution to the safety problem of internet accessibility, even if they do not always provide an environment easily comprehensible by users and operators with a mid-level of competence. This gap can be partially filled if, instead of using the conventional access routines to the authentication system, the user could simply write to the system through the interface and using high level sentences and requests be able to use its own natural language to reach the intended goal. On the other hand, biometrics features are widely used for recognition and identification all over the world, generating large databases. In this paper a user-friendly inter…

Settore ING-INF/05 - Sistemi Di Elaborazione Delle InformazioniUser FriendlyBiometricsDatabaseHuman-Computer Interaction Biometric Recognition Natural Language Processingbusiness.industryComputer scienceUsabilityFingerprint recognitioncomputer.software_genreHuman–computer interactionThe InternetMessage authentication codeUser interfacebusinesscomputerNatural language2009 International Conference on Complex, Intelligent and Software Intensive Systems
researchProduct

La decadenza nel diritto del lavoro tra vicende traslative e fattispecie interpositorie

2020

L’art. 32 della legge n. 183/2010 ha sollevato molteplici questioni applicative legate alla sua infelice formulazione. Il saggio analizza il controverso perimetro applicativo del comma 4, lett. c) e d), inerenti rispettivamente la cessione del contratto di lavoro avvenuta ai sensi dell’art. 2112 c.c. e i casi in cui si chieda la costituzione o l’accertamento di un rapporto di lavoro in capo a un soggetto diverso dal titolare del contratto. L’Autore fornisce le coordinate per una corretta interpretazione, opportunamente restrittiva, delle previsioni decadenziali alla luce del dato letterale e del diritto dell’Unione europea.

Settore IUS/07 - Diritto Del LavoroArt. 32 L. 183/2010 raises several questions related to its application mainly due to its poor drafting. This essay analyses the controversial issue of the meaning of paragraph 4 letter c) and letter d) which concern respectively the transfer of the employment contract in accordance with Art. 2112 Civil Code and the creation and/or the ascertaining of an employment relationship with someone other than the holder of the contract. The Author provides the coordinates for a proper and duly restrictive understanding of the norms on limitation in the light of its literal interpretation and in accordance with EU law.
researchProduct

Religious confession privilege in Italy

2021

In Italy, the secrecy of confession practised in some religious denominations and especially in the [Roman] Catholic Church, is widely recognised. Indeed, it is so widely recognised that it is not perceived as a particular concession to religion, even less as a privilege, but rather as a to religious freedom guaranteed by art 19 of the Constitution of the Italian (‘Italian Constitution’ or ‘Constitution’) which is a subjective and public right since it can be enforced against the state. In other words, this protection of religious belief and action in the Italian Constitution denies that the state may limit religious confession and the secrecy of that confession by law or administrative act…

Settore IUS/11 - Diritto Canonico E Diritto EcclesiasticoSeal of the confessional protection of religious freedom in Italy religion confession privilege in Italian Constitution and Codes
researchProduct

Artt. 540, 556-574 ter c.p.

2019

Commento alle norme del codice penale italiano in materia di reati contro la famiglia

Settore IUS/17 - Diritto PenaleA comment on the norms of the Italian criminal code criminalizing offences against the family
researchProduct

Commento all'art. 314 CP

2012

Commento all'art. 314 CP

Settore IUS/17 - Diritto PenaleComment of art. 314 It. Cr. Code
researchProduct

Il delitto di "caporalato" tra diritti minimi della persona e tutela del mercato del lavoro

2020

Il contributo analizza il reato di intermediazione illecita e sfruttamento lavorativo, offrendo un’analisi comparata con il sistema repressivo tedesco. Lo studio si sofferma, in particolare, sui limiti di legittimazione del diritto penale nella punizione dei fatti di “caporalato”, nel tentativo di scongiurare che l’intervento repressivo nelle dinamiche economiche e contrattuali, di natura sinallagmatica, possa assumere una portata tale da porsi in contrasto con il canone della sussidiarietà. A tal fine, si suggerisce una prospettiva ermeneutica che incentri il disvalore penale del reato di cui all’art. 603-bis c.p. sulla lesione dei diritti fondamentali del lavoratore – riconducibili agli a…

Settore IUS/17 - Diritto PenaleThe paper analyses the offence of unlawful work intermediation and exploitation offering a comparative analysis with the German punitive system. The study focuses in particular on the limits of legitimacy of criminal law in the punishment of gangmaster acts in the attempt to avoid that the punitive intervention in economic and contractual dynamics of a mutual nature could be so intrusive to be in contrast with the principle of subsidiarity. To this end the author suggests an interpretative perspective that centres the penal disvalue of the offence under article 603-bis of the criminal code on the harm to fundamental workers’ rights – as linked to articles 4 35 and 36 of the Italian Constitutions – which work as a limit to entrepreneurial freedom. To be sure the indexes of exploitation listed by the criminalising norm seem to echo those fundamental human rights attributed to a person as a worker: those very same rights that – when harmed in their minimal and therefore intangible dimension – legitimise the intervention of the ius terribile. The article also stresses the protection of the job market: in this sense the offence – even if situated within the Kernstrafrecht – represents a new paradigm of the institutional response within the framework of the contemporary relationships between law and economics.
researchProduct

The Italian Historiography on Commercial Law. Old Tendencies and new Perspectives

2020

Un'ampia ricostruzione della storiografia italiana sul diritto commerciale, dalla metà dell'Ottocento al 2020. A deep overview on the Italian Historiography on Commercial Law, from the 19th century to 2020.

Settore IUS/19 - Storia Del Diritto Medievale E ModernoDiritto commerciale storiografia impresa Vivante Ascarelli Galgano Codice di commercio Codice civile diritto industrialeSettore IUS/04 - Diritto CommercialeCommercial Law Historiography Enterprise Vivante Ascarelli Galgano Commercial Code Industrial Law.
researchProduct

“Afferrare” l’economia. Percezioni e proiezioni dell’impresa nel diritto dell’età industriale

2013

Settore IUS/19 - Storia Del Diritto Medievale E ModernoInvenzioni marchio impresa Code de commerce Atti di commercio ADHGB HGB UnternehmenSettore IUS/05 - Diritto Dell'EconomiaSettore IUS/04 - Diritto Commerciale
researchProduct

Fallimento, autonomia contrattuale, impresa: itinerarii e figure fra Otto e Novecento.

2010

Settore IUS/19 - Storia Del Diritto Medievale E ModernoStoria del fallimento. Concordato. Moratoria. Code de commerce. Codice di commercio.Settore IUS/04 - Diritto Commerciale
researchProduct