248,040 Hits in 7.8 sec

Preserving liveness: Comments on "safety and liveness from a methodological point of view"

Martín Abadi, Bowen Alpern, Krzysztof R. Apt, Nissim Francez, Shmuel Katz, Leslie Lamport, Fred B. Schneider
1991 Information Processing Letters  
They also criticize Alpern and Schneider's general definitions of safety and liveness [2]: Alpern and Schneider's characterizations are problematic, since they permit a certain kind of anomaly.  ...  Dederichs and Weber [4] define what it means for a property to be a liveness property with respect to a safety property.  ...  necessary to "prevent a scheduler from 'painting itself into a corner' ".  ... 
doi:10.1016/0020-0190(91)90168-h fatcat:lp3tqnfyyfg5bpachlnkw2t4qm

Designing and Integrating Complex Systems: Be Agile Through Liveness Verification and Abstraction [chapter]

Thomas Lambolais, Anne-Lise Courbis, Hong-Viet Luong, Thanh-Liem Phan
2015 Complex Systems Design & Management  
Systems Engineering addresses the problem of complex system development in a holistic way, however, there is a lack of tools to verify models from a behavioural point of view at the earlier stage of the  ...  We propose IDF, a framework for Incremental Development of Compliant Models, which is constituted with a set of relations based on the verification of liveness properties.  ...  Architectures and behavioural components are defined from an external point of view, by a set of ports useful for establishing connections and a set of interfaces defining required and provided operations  ... 
doi:10.1007/978-3-319-26109-6_5 dblp:conf/csdm/LambolaisCLP15 fatcat:qvyg2sgiv5hqtgfzhoubepdsj4

The Relativity of Liveability Rankings Examining the Japanese Case against the Global Discourse

Marco Capitanio
2017 World Journal of Social Science  
Despite a lack of academic consensus on a theoretical definition of liveability, at an operational level anumber of liveability rankings are being used worldwide as benchmarking tools, often employed to  ...  They are, therefore, to be understood as relative andarbitrary benchmarking tools, in a global race of competitive urbanism.  ...  Darko Radović: his comments were crucial in refining the structure and content of this paper. Funding for this research has been provided by GESL Program at Keio University, Tokyo.  ... 
doi:10.5430/wjss.v5n1p12 fatcat:nps5v3ybrzfsrfazwn3z7hcbfm

Effectiveness of antidepressants in bipolar depression

S. Potanin, M. Morozova
2021 European psychiatry  
assess the validity of antidepressants use in bipolar depression from the point of view of evidence-based medicine.MethodsDatabase search (Scopus and MEDLINE) followed by analysis of studies concerning  ...  point of view of evidence-based medicine for certain groups of patients with taking into account risk factors.  ...  Objectives: To assess the validity of antidepressants use in bipolar depression from the point of view of evidence-based medicine.  ... 
doi:10.1192/j.eurpsy.2021.520 fatcat:5oioz22p65fsplifcfoazsksqy


A. Oliart Ros, T. González Cacho, D. Sol Martínez, D. Clavijo Plourde
2019 ISPRS Annals of the Photogrammetry, Remote Sensing and Spatial Information Sciences  
This work aims to create a methodology to automatize the classification of public spaces using a perception test and data obtained from city census information, in our case, from the Mexican National Institute  ...  This first attempt aims to find key insights needed to develop a more complex methodology to classify, at a greater scale, public places in terms of their safety or architectural value and which socio-demographic  ...  ACKNOWLEDGEMENTS The creation of this research could not be completed without the support of many people. I would like to specially thank M. Talía González Cacho, Dr. David Sol and Dr.  ... 
doi:10.5194/isprs-annals-iv-4-w9-95-2019 fatcat:okpjlc2swrethdcsn453wsyy3y

Security and safety management and role of laser scanning in unique and peculiar cultural heritage sites such as the papal basilica and the sacred convent of saint francis in assisi in italy

Fabio Garzia, Domenica Costantino, Valerio Baiocchi
2017 International Journal of Heritage Architecture: Studies, Repairs and Maintence  
only from the cultural heritage point of view but also for more operative and powerful tools, such as building information modelling, where all the information can be transferred later.  ...  Peculiar, unique and complex cultural heritage sites, such as the Papal Basilica and the Sacred Convent of Saint Francis in Assisi in Italy, need a great effort to ensure visitors security and safety,  ...  Figure 8 : 8 View of the tomb of Saint Francis. Figure 9 : 9 Example of a single scan. Figure 10 : 10 Point cloud: (a) tomb; (b) lower Basilica; and (c) upper Basilica.  ... 
doi:10.2495/ha-v2-n2-271-282 fatcat:vz7ligfc2jedfifsfu6q7twdsy

SAFER-LC project: Safer Level Crossings by integrating and optimizing road-rail infrastructure management and design

Grigore M. Havârneanu, Annika Dreßler, Jan Grippenkoven, Anne Silla, Eduardo Prieto, Marie-Hélène Bonneau
2018 Zenodo  
The results are discussed in the context of a Human Factors methodological framework which analyses how technological and non-technological safety measures can be better adapted from a user perspective  ...  Level Crossings represent vulnerable points in the European land transport system, since collisions at level crossings account for a high number of fatalities and serious injuries among road users and  ...  Acknowledgements SAFER-LC project has received funding from the European Union's Horizon 2020 research and innovation programme under grant agreement No 723205.  ... 
doi:10.5281/zenodo.1486712 fatcat:wv5fhap2gzf4petiy557pgt7ri

A methodology for agent-oriented analysis and design

Michael Wooldridge, Nicholas R. Jennings, David Kinny
1999 Proceedings of the third annual conference on Autonomous Agents - AGENTS '99  
The methodology is founded on the view of a system as a computational organisation consisting of various interacting roles.  ...  This paper presents a methodology for agent-oriented analysis and design.  ...  It is assumed that the goal is to obtain a system that maximises some global quality measure, but which may be suboptimal from the point of view of the system components.  ... 
doi:10.1145/301136.301165 dblp:conf/agents/WooldridgeJK99 fatcat:w3xchoaxcvcu3kjhvaostvyuoi

Cloud robotics paradigm for enhanced navigation of autonomous vehicles in real world industrial applications

Elena Cardarelli, Lorenzo Sabattini, Cristian Secchi, Cesare Fantuzzi
2015 2015 IEEE/RSJ International Conference on Intelligent Robots and Systems (IROS)  
Hence, we introduce a centralized cloud service, that is in charge of receiving and merging data acquired by different sensing systems.  ...  The proposed methodology is validated in a real industrial environment to safely perform obstacle avoidance with an autonomously driven forklift.  ...  Therefore, from a medium level point of view we introduce a heuristic, whose principal steps are described in Algorithm 1.  ... 
doi:10.1109/iros.2015.7354019 dblp:conf/iros/CardarelliSSF15 fatcat:77l2sgbdnrf2he5n2t3qst4f2a

543 Safe or unsafe on the streets

Peter Spitzer, Michael Hoellwarth
2016 Injury Prevention  
of view (e. g. from an outside observer, a bird's eye view and from a child's point of view).  ...  541 PERSPECTIVES OF OLDER For traffic safety education purposes it is essential to develop materials consisting of live-action videos and showing the same scenery from different points of view.  ... 
doi:10.1136/injuryprev-2016-042156.543 fatcat:eg7ysxy6pnfbtadq2ctbl7d52a


Tamas Janos Katona, Sandor Ratkai
2008 Nuclear Engineering and Technology  
From this point of view, key elements of ensuring the safety of long-term operation of Paks NPP are discussed.  ...  This part of RPV is most sensitive from the point of view of brittle crack initiation and propagation.  ... 
doi:10.5516/net.2008.40.4.269 fatcat:2k45qvbcazfozi47ljb4eiru6i

Risk identification methodology regarding the safety and quality of railway services

Eva Nedeliaková, Michal Petr Hranický, Michal Valla
2022 Production Engineering Archives  
The paper deals with the implementation of a modified FMEA methodology according to the EU Commission Regulation no. 402/13 on a common safety method for risk assessment and evaluation in the railway sector  ...  The basic goal is to create a methodology for risk identification regarding the safety of services in railway transport concerning railway crossings.  ...  Acknowledgements This publication was realized with support of Operational Program Integrated Infrastructure 2014-2020 of the project: Innovative Solutions for Propulsion, Power and Safety Components of  ... 
doi:10.30657/pea.2022.28.03 fatcat:zzvbyu3wtvfxbcfhhfeatkp7va

Systematic social observation of children's neighborhoods using Google Street View: a reliable and cost-effective method

Candice L. Odgers, Avshalom Caspi, Christopher J. Bates, Robert J. Sampson, Terrie E. Moffitt
2012 Journal of Child Psychology and Psychiatry and Allied Disciplines  
Systematic social observation of children's neighborhoods using Google Street View: A reliable and cost-effective method.  ...  Conclusions-Our results support the use of Google Street View as a reliable and cost effective tool for measuring both negative and positive features of local neighborhoods.  ...  Odgers is a William T. Grant Scholar. We are grateful to the study mothers and fathers, the twins, and the twins' teachers for their participation.  ... 
doi:10.1111/j.1469-7610.2012.02565.x pmid:22676812 pmcid:PMC3537178 fatcat:s6fzpp6c45bshgvowgqgxx6p74

Towards A Systemic Approach To Fire Safety

A. Beard
1986 IAFSS - The International Association for Fire Safety Science : proceedings  
Fire may be regarded as a failure of a system. A methodology which may be of help in attempting to approach fire safety from this point of view is suggested.  ...  In order to understand fully the nature of fire safety, which encompasses social values and engineering hardware, it is necessary to consider it as a part of a 'dynamic whole'.  ...  Also, I am grateful to the Fire Protection Association, London, for permission to use material from the article "Towards a Rational Approach to Fire Safety" which was published in 'Fire Prevention Science  ... 
doi:10.3801/iafss.fss.1-943 fatcat:logzn5o6obglzn332hwq5lurgu

Lean/Agile Software Development Methodologies in Regulated Environments – State of the Art [chapter]

Oisín Cawley, Xiaofeng Wang, Ita Richardson
2010 Lecture Notes in Business Information Processing  
The introduction of "Agile" development methodologies such as XP and SCRUM held the promise of improved software quality and reduced delivery times.  ...  While evidence does exist to support many of the Lean/Agile claims, we look here at how such methodologies are being adopted in the rigorous environment of safety-critical embedded software development  ...  From a regulation point of view, it is imperative that there is full traceability right throughout the development lifecycle.  ... 
doi:10.1007/978-3-642-16416-3_4 fatcat:rvwxtumxxbfqbjvhjntxphy5iy
« Previous Showing results 1 — 15 out of 248,040 results