A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
Filters
Formal Reasoning about Fault Tolerance and Parallelism in Communicating Systems
[chapter]
2009
Lecture Notes in Computer Science
Preserved Fulltext
In this paper we show how to formalise and extend Lyra -a top-down service-oriented method for development of communicating systems. ...
To achieve this, correctness of software for such systems and system fault tolerance should be ensured. ...
To formalise the Lyra development process, we choose the B Method as our formal framework. The B Method [1] is an approach for the industrial development of highly dependable software. ...
doi:10.1007/978-3-642-00867-2_7
fatcat:7d6g4ikdgncildmfuw2skurkdq
Benchmarking Inter-Hospital Alliances against Industry Best Practices
2015
Management and Organizational Studies
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2019; you can also visit the original URL.
The file type is application/pdf.
There was an absence of rigorous partner selection on the basis of due diligence and no clear communicated, or monitored, alliance targets. ...
Clinical parameters specific to the alliance were not measured but an improvement of patient standard of care was perceived. There was a low awareness of financial parameters. ...
Acknowledgements The authors are in debt and very grateful to the hospitals (anonymous) participating in the study and to the individual managers, physicians and nurses who made themselves available for ...
doi:10.5430/mos.v2n4p23
fatcat:jyr3kt23lvgjnfaijf4ffaa324
Challenges of operationalising good industry practice and best environmental practice in deep seabed mining regulation
2018
Marine Policy
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2020; you can also visit the original URL.
The file type is application/pdf.
It further enhances the understanding of a critical component to the sustainable operationalization of the industry, whilst acknowledging the unique environmental protection requirements associated with ...
Accordingly, the aim of this article is to provide a critical assessment of two commonly invoked, yet often ambiguous, concepts in this regulatory discourse -that being 'Best Environmental Practice' and ...
Such an approach is neither site-, nor technology, specific and could provide the robust approach to monitoring and regulating nascent industries required to achieve BEP. ...
doi:10.1016/j.marpol.2018.09.002
fatcat:gc6azd75hnenjbdg5wterwfc3u
A Methodology for Developing a Verifiable Aircraft Engine Controller from Formal Requirements
[article]
2021
arXiv
pre-print
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2021; you can also visit the original URL.
The file type is application/pdf.
In this paper, we present a formal requirements-driven methodology, applied to a model of an aircraft engine controller that has been provided by our industrial partner. ...
In this paper we give an overview of (FRET), describe our methodology and work to-date on the formalisation and verification of the requirements, and outline future work using our methodology. ...
We demonstrate our methodology through an industrial use case of an aircraft engine controller. ...
arXiv:2110.09277v1
fatcat:lu72my5nezg6ddtgsjmafhwfty
Using Formal Methods for Autonomous Systems: Five Recipes for Formal Verification
[article]
2021
arXiv
pre-print
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2021; you can also visit the original URL.
The file type is application/pdf.
Note that this fulltext copy is not of the "primary" version of this work. The version it corresponds to is:
2021 accepted arXiv:2012.00856v3 fatcat:ng2lpzlq2zgdjmrocywaedlwlaOther Versions
; and behaviour can be monitored at runtime and compared to its original specification. ...
To answer this question, this position paper describes five recipes for formally verifying aspects of an autonomous system, collected from the literature. ...
Focussing the use of FM on the components of a system that are amenable to formalisation is useful [20, 21] , especially if the components that are formalised are those most critical to the safety of ...
arXiv:2012.00856v2
fatcat:hatdgqwbabbfdbngmjt4q2rroi
Rethinking the management of information in the strategic monitoring of public policies by agencies
2004
Industrial management & data systems
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
The 2001 reform of the France basic law on financial legislation defines a new framework for the monitoring of public policies based on the evaluation of outputs and outcomes rather than resources allocations ...
According to the double-loop organizational learning theory (Argyris & Schön, 1978), the single loop learning deals with the management of the policy by the agency and answers the question "Are things ...
However this approach is due to be replicated at each level from the top to the bottom, we will focus on the interface between parent body and EP where take place the critical activities of formalising ...
doi:10.1108/02635570410525753
fatcat:vq3fbrmecnastlejoir464oblm
Animal Welfare for Corporate Sustainability: The Business Benchmark on Farm Animal Welfare
2020
Journal of Sustainability Research
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2020; you can also visit the original URL.
The file type is application/pdf.
The importance of a formalised system of responsibilities and the advances offered by audio-visual and smart technologies, that provide real-time data, will be a key dimension for the farm of the future ...
This research highlights the disruptive potential of Fourth Industrial Revolution technologies applied on farms. ...
What decisions should be formalised? Strategic decisions affecting the governance of an organisation must be formalised. The governance of an organisation must be clarified. ...
doi:10.20900/jsr20200030
fatcat:pirplmjlgrhv5m2q4gvbyne33a
Engineer-to-order (ETO) production planning and control: an empirical framework for machinery-building companies
2015
Production planning & control (Print)
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
This paper illustrates the results of an empirical study involving 21 engineer-to-order (ETO) companies, operating in the machinery-building industry. ...
As an answer to the observed compelling need for reviewing the general approaches to PPC in machinery-building companies, we develop an empirical, high-level production planning and scheduling reference ...
According to the judgmental sampling approach, our sample was based on available data from industrial associations, the authors' experience and their knowledge of the Italian machinery sector. ...
doi:10.1080/09537287.2014.1001808
fatcat:l32edhewvjaebmtiz42hifsglm
Page 1451 of Management & Marketing Abstracts Vol. 20, Issue 11
[page]
1995
Management & Marketing Abstracts
Preserved Fulltext
The Internet Archive has digitized a microfilm copy of this work. It may be possible to borrow a copy for reading.
Two systems are described - PERT (project evaluation and review technique) and CPM (critical path method), which represent a formalised and system- atic approach to project management and planning activities ...
They base their work on an exit-voice framework of such relationships. (3 ref)
4518 MARKETING PLANNING: A COMPUTER ASSISTED APPROACH ProctorT, Mark. Intell. ...
A Proposed Regulatory Review Model to Support the South African Health Products Regulatory Authority to Become a More Efficient and Effective Agency
2020
International Journal of Health Policy and Management
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2020; you can also visit the original URL.
The file type is application/pdf.
to adapt to the new regulatory environment and increase the effectiveness of regulatory operations. ...
An improved model for the South African regulatory review and benefit-risk (BR) assessment supported by quality decision-making was proposed as well as recommendations for the application of risk-stratification ...
Ethical issues The study received Ethics approval from the University of Hertfordshire Institutional Ethics Committee (LMS/PGR/UH/03873). ...
doi:10.34172/ijhpm.2020.213
pmid:33300773
fatcat:c2tkjxc27nb6nkaszbigbthe6e
On the Formal Development of Safety-Critical Software
[chapter]
2008
Lecture Notes in Computer Science
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2006; you can also visit the original URL.
The file type is application/pdf.
We reflect on the formal development models applicable to embedded control systems in light of our experience with safety-critical applications from the aerospace domain. ...
This leads us to propose two complementary enhancements to Parnas' four-variable model, one elaborating the structure outside the control computer, and the other elaborating the structure inside the control ...
We are also grateful to our industrial collaborators, especially Airbus, BAE Systems, QinetiQ and Rolls-Royce. ...
doi:10.1007/978-3-540-69149-5_39
fatcat:heb27ul65ngc3f64bqgkinbqyq
Cyber Resilience Meta-Modelling: The Railway Communication Case Study
2021
Electronics
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2021; you can also visit the original URL.
The file type is application/pdf.
In this respect, an application case based on critical transportation communications systems, namely the railway communication system, is provided to prove the feasibility of the proposed approach and ...
To this end, the present paper aims at providing an operational formalisation for cyber resilience starting from the Cyber Resilience Ontology presented in a previous work using model-driven principles ...
The key to maximising the impact of the contribution on the academic and industrial communities is to provide a modelling guideline and an automatic process supporting the design or the V&V of a critical ...
doi:10.3390/electronics10050583
doaj:b03542a919384ba0a492f1985f941a87
fatcat:by5elwdjpfg2bgeaaogxwtzkc4
Strategic management accounting and performance implications: a literature review and research agenda
2021
Future Business Journal
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2022; you can also visit the original URL.
The file type is application/pdf.
Responding to that call, this study utilised a qualitative approach that involved a systematic review to synthesise existing literature towards understanding the strategic management accounting foundation ...
The limitations of this study have been acknowledged. ...
of management accounting data about a business and its competitors, for use in developing and monitoring business strategy". ...
doi:10.1186/s43093-021-00109-1
fatcat:qfe4dfl4hbh5zbrkqjaics4r4m
Formalising Policies for Insider-threat Detection: A Tripwire Grammar
2017
Journal of Wireless Mobile Networks, Ubiquitous Computing, and Dependable Applications
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2020; you can also visit the original URL.
The file type is application/pdf.
But assuming that one can keep the threat out of an organisation is simply not a practical stance to adopt. ...
We then orchestrate these tripwires in conjunction with an anomaly detection system. We present a review of the security policies organisation apply and a grammar to describe tripwires. ...
The project brings together The Department of Computer Science and The Said Business School at the University of Oxford, and the Department of Psychology at the University of Warwick. ...
doi:10.22667/jowua.2017.03.31.026
dblp:journals/jowua/AgrafiotisEGC17
fatcat:zixro43rbrfezjdkm5abqikilq
Architecture of the agent-based model for the region's industrial complex digital transformation
2020
Journal of New Economy
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2020; you can also visit the original URL.
The file type is application/pdf.
factors and a set of indicators of a phased digital transformation of an industrial complex. ...
The paper aims at developing an agent-based model of digital transformation of the regional industrial complex. ...
Formalisation of the behaviour rules followed by heterogeneous agents is the most challenging and critical part of model development. ...
doi:10.29141/2658-5081-2020-21-3-8
fatcat:hcnmtyn3breltilfzdgxllmhtq
« Previous
Showing results 1 — 15 out of 15,158 results