9 Hits in 3.5 sec

Page 70 of Journal of Research and Practice in Information Technology Vol. 22, Issue 2 [page]

1990 Journal of Research and Practice in Information Technology  
The paper by Rodriguez and Serrans discusses the problem of transformation from LOTOS processes to Galileo nets.  ...  This now allows the behaviour of LOTOS specifications to be analysed in terms of these nets.  ... 

Model-Based Design of Dependable Systems: Limitations and Evolution of Analysis and Verification Approaches

Jose Aizpurua, Eñaut Muxika
2013 International Journal on Advances in Security   unpublished
This process is far from obvious and often hampered due to the limitations of the classical dependability analysis and verification approaches.  ...  Different approaches have been adopted to analyse and verify the dependability of a system design.  ...  CADP toolbox [113] transforms FIACRE models into LOTOS programs, which are handled by its underlying tools for validation via MC and simulation.  ... 


The predominance of a specific tolerance mechanism over others depends on salt stress intensity (severity x duration) and plant developmental stage.  ...  Plant responses to salt stress are complex depending on the combination of the activity of many metabolic pathways and of the several involved genes, and thus they are difficult to control and/or engineer  ...  The cytoplasmic concentration of Na + can be controlled by sequestering it in the vacuole and/or by controlling its net fluxes from/into the cell.  ... 
doi:10.13130/pesenti-michele_phd2020-02-04 fatcat:46rbdx27qjcutdy5y7cpi2eyfu

Fascicolo completo / Complete issue

Comitato Editoriale
systems, especially the period from 1864 to 1906, that is from the Yosemite Act to the first French law that was specifically devoted to the protection of landscape.  ...  These proposals are characterised by varying degrees of specificity and may not always be articulated in operational terms, but they all spring from the same commitment to turn criticism into transformative  ...  THE LANDSCAPE PROTECTION from decay or injury. The cost of maintenance shall, subject to the approval of Her Majesty's Treasury, be defrayed from moneys to be provided by Parliament.  ... 
doi:10.13138/2039-2362/2013 fatcat:wuekhdbsijaxrcogtjz5obu6wq

Climatology and classification of the optical and microphysical properties of aerosols using ground-based remote sensing techniques

Νικόλαος Γ. Σιώμος
Finally, some of the aforementioned lidar products, along with lidar data from the EARLINET database are applied for the validation of satellite products.  ...  Then, an extensive climatological analysis based on the aerosol optical and geometrical properties calculated from lidar and sunphotometer measurements of the station is performed.  ...  Galileo Galilei ΠΡΟΛΟΓΟΣ Η διατριβή αυτή είναι αποτέλεσμα μιας πολύχρονης προσπάθειας.  ... 
doi:10.26262/ fatcat:wtm53lfyljde3ovi4ao76nzkum

L'un et le multiple. L'imparfait de l'indicatif en français : valeur en langue et usages en discours

Adeline Patard
2010 L'Information grammaticale  
On one hand, situations seen from within, and thus without their boundaries, are typically events seen from nearby ; therefore, the viewer or conceptualizer is felt not to have the distance necessary to  ...  the imparfait signals that the situation expressed is to be interpreted as actual, ongoing, in a mental space that is different from the base space, the space related to the speaker's here-and-now.  ... 
doi:10.3406/igram.2010.4122 fatcat:tcuwi4cdsndw5jwju757533c5a

LEA 7-2018: Full Issue

combinazioni tra le lettere b p d q", Almanacco Letterario Bompiani 1962, numero dedicato a "Le applicazioni dei calcolatori elettronici alle scienze morali e alla letteratura", 186-187; online: <http://p-dpa. net  ...  In Borchardt's analyses, Virgil in the Aeneid transforms a message coming from the past into a message for the future.  ...  From Charlemagne to Frederick II of Hohenstaufen, emperors turned to the Roman tradition to legitimize their power.  ... 
doi:10.13128/lea-1824-484x-24515 fatcat:4h46kmw475dsvltoy34ifcenge

Vtrum equus albus sit equus annon, sive Graeco-Indo-Sinicae Philosophiae perscrutatio

Josè Maria <1981> Bellido Morillas, Walter Cavini, Giorgio Renato Franci, Ana Agud
By contrast, artefacts don't come from other artefacts and to some extent the same applies even to life forms (e.g. a tree doesn't have to "come from" another tree, and a bush doesn't have to "come from  ...  Hui Shi, from the fragments available, tended to conclude from the relativity of distinctions to perspective that there were no distinctions in reality.  ... 
doi:10.6092/unibo/amsdottorato/469 fatcat:byfplogvsngzhmopo5ig4su6dq