Results 11 to 20 of about 21,808,950 (255)
, 2021 The public rely on the police to enforce the law, and the police rely on the public to report crime and assist them with their enquiries. Police action or inaction can also impact on public willingness to informally intervene in community problems.
Murphy, Kristina +3 more
core +1 more source
Proceedings of Formal Methods in Computer Aided Design, FMCAD 2009 [PDF]
, 2009 Table of Contents: Preface (p. v) -- Organizing Committee (p. vii) -- Program Committee (p. vii) -- Referees (p. ix) -- Keynote Presentations (p. x) -- Tutorials (p. xii) -- Industrial Experience Reports (p. xiv) -- Panels (p. xvii) -- Session 1.
Formal Methods in Computer Aided Design
core +2 more sources
Proceedings of Formal Methods in Computer-Aided Design, FMCAD 2023
, 2023 The Conference on Formal Methods in Computer-Aided Design (FMCAD) is an annual conference on the theory and applications of formal methods in hardware and system in academia and industry for presenting and discussing groundbreaking methods, technologies,
Formal Methods in Computer Aided Design
core +1 more source
FORTEST: Formal methods and testing [PDF]
, 2002 Formal methods have traditionally been used for specification and development of software. However there are potential benefits for the testing stage as well.
Bowen, JP +5 more
core +6 more sources
Detecting formal and informal interests in forest governance
MethodsX, 2022 To reveal the interests of actors in forest governance, this paper proposes a power-based interest identification (PII) approach. Based on the assumption of intentional action, the benefits that actors derive from policy impacts are the result of ...
Jiacheng Zhao +4 more
doaj +1 more source
Revue Européenne des Migrations Internationales, 2017 This article aims to bypass polarized debates that either accuse migrants of abusing state forms of social protection or accuse states of excluding migrants from welfare provisions.
Maybritt Jill Alpes
doaj +1 more source
Social Support and Personal Agency in At-Risk Mothers [PDF]
Psychosocial Intervention, 2011 This study investigated: a) mothers´ use and satisfaction with informal and formal supports in at-risk psychosocial contexts, and b) the relationships between satisfaction with help and the mothers´ perception of their role (personal agency). Self-report
María José Rodrigo, Sonia Byrne
doaj +1 more source
Willingness of women‐led businesses in Pakistan to join formal e‐commerce platforms
Asia & the Pacific Policy Studies, 2022 An equitable distribution of economic benefits from the recent growth of e‐commerce in Pakistan requires inclusive adoption of formal digital marketplaces.
Syed M. Hasan +2 more
doaj +1 more source
Analyzing the effects of formal methods on the development of industrial control software [PDF]
, 2011 Formal methods are being applied to the development of software of various applications at Philips Healthcare. In particular, the Analytical Software Design (ASD) method is being used as a formal technology for developing defect-free control software of ...
Wesselius, JH +6 more
core +2 more sources
Experience report on developing the Front-end Client unit under the control of formal methods [PDF]
, 2011 Formal methods are extensively being applied to the development of control software units, of highly sophisticated X-ray machines, at Philips Healthcare.
Wesselius, J.H. +13 more
core +2 more sources