Search results for "Verification"

showing 4 items of 104 documents

Formal specification of open standards and the case of RSS v2.0

2014

Open standardization seems to be very popular among software developers as it makes the standard's adoption by the software engineering community easier and smoother. Formal specification methods, on the other hand, while very promising, are being adopted by protocol engineers very slowly; the industry seems to have little motivation to move into this, almost unknown, territory.In this paper the authors present the i) idea of applying formal methods (formal specification techniques) to open standards' specifications, and ii) an example of a formal specification of open standards, RSS v2.0 in particular. The authors support and provide evidence for the advantages of the open standards formal…

ta113Language Of Temporal Ordering SpecificationProgramming languageComputer scienceFormal specificationObject languageAlgebraic specificationSpecification languageRefinementcomputer.software_genreFormal methodscomputerFormal verification
researchProduct

Il primo concorso per il Palazzo di Giustizia a Roma del 1884. Ricostruzione critica del progetto di Ernesto Basile

2019

1. Breve descrizione dell’oggetto di studio Il concorso del Palazzo di Giustizia di Roma si svolge in quattro fasi svolte tra il 1884 e il 1887. Il progetto per il primo concorso, del 1884, redatto dall’allora giovanissimo Ernesto Basile (Palermo 1857-1932), rivela una grande perizia progettuale che trasforma il complesso programma funzionale in un austero edificio in stile neofiorentino. I disegni originari dell’opera, non realizzata, conservati presso la Dotazione Basile del Dipartimento di Architettura dell’Università di Palermo, sono stati oggetto di studio propedeutico alle fasi di analisi, interpretazione e ricostruzione congetturale del modello digitale. 2. Stato dell’arte e riferime…

the spatiality of the great vestibule• elaboration of axonometric and perspective view• choice of interpretation criteria in case of project incongruitiethe vaulted arcades.the space of the main courtyard which Basile outlines in a sketch• elaboration of analytical drawings (modular functional compositional volumetric schemes)• modular study and flat vectorization• application of rendering techniques consistent with the available information. 4. Objectives pursued and achieved Conjectural reconstruction achieved the following results: • formulation of analytical documents which show how the planimetric and altimetric articulation are perfectly consistent with the functional program• definition of the level of uncertainty1. Brief description of the object of study The competition of the Palace of Justice in Rome takes place in four phases between 1884 and 1887. The project for the first competition in 1884 drawn up by the then very young Ernesto Basile (Palermo 1857-1932) reveals a great deal of design expertise that transforms the complex functional program into an austere building in neo-florentine style. The original drawings of the building not realized kept in the Basile Endowment of the Department of Architecture of the University of Palermo have been the subject of preliminary study to the phases of analysis interpretation and conceptual reconstruction of the digital model. 2. State of the art and main bibliographical references The conjectural reconstruction on the basis of drawings and archival documents is a well-established and codified practice thanks to various disciplinary contributions at national and international level. See: F. I. Apollonio Classification Schemes for Visualization of Uncertainty in Digital Hypothetical Reconstruction in M. Sander P. Mieke P. Kuroczyński M. Ioannides 3D Research Challenges in Cultural Heritage II Cham (CH) 2016. G. Antista M. Cannella Ricostruire. Architettura - Storia – Rappresentazione Palermo 2015. For studies related to the examinated project see: E. Mauro E. Sessa I disegni della Collezione Basile Roma 2015. E. Sessa Ernesto Basile. Dall'eclettismo Classicista al Modernismo Palermo 2002. 3. Definition of the methodologies adopted in the research Methodological phases: • historical analysi• survey of the original drawings and dimensional verification of the flat scanSettore ICAR/17 - Disegno• construction of perspective views deduced from the original drawings that highlight: the volumetric hierarchy and the function of the bugnate in the scanning of the masonry ma• three-dimensional modeling
researchProduct

Social media users in search of ‘facts’: the Trade Union House fire case

2021

What factors influence users to believe the stories they find in social media, and what role do emotions play for users in concluding that a particular fact is ‘true’? This article examines one aspect of emotionalized communication in social networks in an information war context, namely, how social network users make decisions about the reliability of the information they receive. We employ a qualitative study of a single case – a discussion among Russian-speaking Livejournal.com and Facebook.com users of a tragic incident in Ukraine – the deadly fire that took place in the Odessa Trade Union House on 2 May, 2014. The relevancy of this case consists in how, for all its uniqueness as a trag…

tiedonvälitysfaktantarkistusCommunicationlähdekritiikki05 social sciencesemotionality in social mediasosiaalinen media050801 communication & media studiesAdvertisinginformation warHouse fire0506 political scienceVisual evidencevisual evidence0508 media and communicationstunteetPolitical scienceinformaatiosodankäyntiPolitical Science and International RelationsTrade union050602 political science & public administrationdigital communicationSocial mediaverification of factsverkkoviestintäRussian Journal of Communication
researchProduct

Kodolieroču neizplatīšanas uzraudzības un pārbaudes mehānismi: Irānas (2002 – 2015) gadījuma analīze

2020

Maģistra darbs “Kodolieroču neizplatīšanas uzraudzības un pārbaudes mehānismi: Irānas (2002 – 2015) gadījuma analīze” analizē Irānas kodolprogrammas uzraudzību laika posmā no 2002. līdz 2015. gadam. Pētījuma mērķis ir noskaidrot, kāpēc Irānas kodolprogrammas statuss tiek regulāri apšaubīts. Darba teorētisko ietvaru veido kodolieroču neizplatīšanas režīma galveno komponentu analīze. Šī gadījuma analīzē tiek izmantotas kvalitatīvās pētniecības metodes – oficiālo ziņojumu, dokumentu un līgumu kontentanalīze, kā arī tiek veikta akadēmisko pētījumu izpēte. Pētījuma rezultātā tiek izdarīti secinājumi, kā iesaistītās puses kodolieroču neizplatīšanas uzraudzības un pārbaudes ietvaros reaģē uz tām s…

uzraudzības un pārbaužu mehānismikodolieroču neizplatīšanas režīmsmonitoring and verification mechanismsnuclear nonproliferation regimeIrānas kodolprogrammaPolitikas zinātne
researchProduct