1,721,345 research outputs found
Static Analysis of Infrastructure as Code: A Survey
Full text linkThe increasing use of Infrastructure as Code (IaC) in DevOps leads to benefits in speed and reliability of deployment operation, but extends to infrastructure challenges typical of software systems. IaC scripts can contain defects that result in security and reliability issues in the deployed infrastructure: Techniques for detecting and preventing them are needed. We analyze and survey the current state of research in this respect by conducting a literature review on static analysis techniques for IaC. We describe analysis techniques, defect categories and platforms targeted by tools in the literature
Going Beyond Counting First Authors in Author Co-citation Analysis
Full text linkThe present study examines one of the fundamental aspects of author co-citation analysis (ACA) - the way co-citation
counts are defined. Co-citation counting provides the data on which all subsequent statistical analyses and mappings
are based, and we compare ACA results based on two different types of co-citation counting - the traditional type that
only counts the first one among a cited work's authors on the one hand and a non-traditional type that takes into
account the first 5 authors of a cited work on the other hand. Results indicate that the picture produced through this non-traditional author co-citation counting contains more coherent author groups and is therefore considerably clearer. However, this picture represents fewer specialties in the research field being studied than that produced through the traditional first-author co-citation counting when the same number of top-ranked authors is selected and analyzed. Reasons for these effects are discussed
The Jurassic biosiliceous sediments from the Sicanian basin in Western Sicily: new data.
No full textNew stratigraphyc data on the biosiliceous sediments from the Sicanian basi (Western Sicily, Iatly)
No full textA FIRST-ORDER COMPLETE TEMPORAL LOGIC FOR STRUCTURED CONTEXT-FREE LANGUAGES
Full text linkThe problem of model checking procedural programs has fostered much research towards the definition of temporal logics for reasoning on context-free structures. The most notable of such results are temporal logics on Nested Words, such as CaRet and NWTL. Recently, the logic OPTL was introduced, based on the class of Operator Precedence Languages (OPLs), more powerful than Nested Words. We define the new OPL-based logic POTL and prove its FO-completeness. POTL improves on NWTL by enabling the formulation of requirements involving pre/post-conditions, stack inspection, and others in the presence of exception-like constructs. It improves on OPTL too, which instead we show not to be FO-complete; it also allows to express more easily stack inspection and function-local properties. In a companion paper we report a model checking procedure for POTL and experimental results based on a prototype tool developed therefor. For completeness a short summary of this complementary result is provided in this paper too
New stratigraphical data on the Middle–Late Jurassic biosiliceous sediments from the Sicanian basin, Western Sicily (Italy)
No full textThe reported data present the stratigraphy of several sections across a Middle–Late Jurassic Radiolaritic Unit, well exposed in different thrust sheets pertaining to the Maghrebian chain of Southwestern Sicily. The aim was to define the chronostratigraphical distribution of the Jurassic biosiliceous sedi- mentation in the Sicanian palaeogeographical zone, a deep water basin belonging to the Southern Tethys continental margin. The radiolarian biostratigraphy indicates that the switching from carbonate to siliceous sedimentation in the Sicanian Basin is referable to the Bajocian, as shown by the section of Campofiorito, near Corleone. The biostratigraphical dataset allows the correlation between the onset of biosiliceous sedimentation and the fall of biodiversity in the Sicanian basin with the carbonate productivity crisis, indicated by the highest eutrophication that affected Western Tethys during Middle Jurassic times
- …
