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
New challenges in certification for aircraft software
2011
Proceedings of the ninth ACM international conference on Embedded software - EMSOFT '11
Preserved Fulltext
We outline the current approach to certification of aircraft software, and the rôle of the DO-178B guidelines. We consider evidence for its effectiveness and discuss possible explanations for this. ...
We then describe how changes in aircraft systems and in the air traffic system pose new challenges for certification, chiefly by increasing the extent of interaction and integration. ...
Methods of software development and assurance evolve much more rapidly than aircraft systems. ...
doi:10.1145/2038642.2038675
dblp:conf/emsoft/Rushby11
fatcat:h7llozqz75fn3pgr7hn67ienb4
On Software Certification: We Need Product-Focused Approaches
[chapter]
2010
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 2011; you can also visit the original URL.
The file type is application/pdf.
We make the case that productfocused certification is required to produce reliable software intensive systems. These techniques will have to be domain and even product specific to succeed. ...
We then review current practices in software certification and contrast the software regime's process-oriented approach to certification with the product-oriented approach typically used in other engineering ...
The documents do not do a good enough job of describing the artefacts that will be assessed. ...
doi:10.1007/978-3-642-12566-9_13
fatcat:qshwp3wmnrhzzgpyy3wxriknv4
Assurance cases and prescriptive software safety certification: A comparative study
2013
Safety 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 2017; you can also visit the original URL.
The file type is application/pdf.
There has been much debate surrounding the relative merits of prescriptive and safety assurance argument approaches to certification. In many ways this debate can lead to confusion. ...
This approach to certification is often described as prescriptive or process-based certification. ...
For reasons of brevity, we do not define those criteria here. These software safety requirements will be further refined as more design detail becomes available (Lee et al., 2010) . ...
doi:10.1016/j.ssci.2013.04.007
fatcat:qhbmbxgo3ne4rhoaacwe44qms4
Formal Methods and their Role in the Certification of Critical Systems
[chapter]
1997
Safety and Reliability of Software Based 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.
Its purpose is to outline the technical basis for formal methods in computer science, to explain the use of formal methods in the specification and verification of software and hardware requirements, designs ...
benefits, weaknesses, and difficulties in applying these methods to digital systems used in critical applications, and to suggest factors for consideration when formal methods are offered in support of certification ...
expect a large piece of software to be more of a challenge than a smaller one. ...
doi:10.1007/978-1-4471-0921-1_1
fatcat:33n3af7ssbfkbiy6o6vj462idi
Justifying Class Action Limits: Parsing the Debates over Ascertainability and Cy Pres
2017
Kansas Law Review
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.
Some judges believe they have more latitude to approve a cy pres provision in a settlement than they do to employ cy pres after a trial judgment. See, e.g., Marshall v. ...
It is possible, for example, that an attorney would be more willing to sell out a class with anonymous members than a class whose members the attorney knows or could imagine knowing. ...
flexible approach, 219 and the analogy with (b)(2) supports doing so. ...
doi:10.17161/1808.25574
fatcat:inzjeiiorzawbniwl6kiwhps64
The Next Generation Internet: a selection of contributions to the debate
2021
Zenodo
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.
This, in the NGI consortium's intentions, would make the platform more thought-provoking, and therefore more engaging. ...
To do so, we used a combination of open calls for contributions and targeted interviews to identified thought leaders. ...
The debate centres around whether it will be used for good or evil. ...
doi:10.5281/zenodo.6320727
fatcat:ghuvcxm5pjhlhi6cfn6dpf2aou
Debating Abortion, Deliberative Reciprocity and Parliamentary Advocacy
2012
Political 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 2009; you can also visit the original URL.
The file type is application/pdf.
Utilising the software Alceste to conduct automated text analysis, it finds that debate does not match the prediction of parties merely talking past one another. ...
The inconsistency could arise from not considering plausible conditions of democratic debate in which reciprocity might be respected, such as legislative debates free of party discipline. ...
knight, who spoke
very movingly. after
all, a woman has much
more right to speak in
this debate than has any
other hon. ...
doi:10.1111/j.1467-9248.2011.00928.x
fatcat:5ryglco535dyjhckjokgexhbxu
Standards for Duty of Care? Debating Intermediary Liability from a Sectoral Perspective
2017
Social Science Research Network
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.
Then forcing information sharing duties on intermediaries, which risk exposing company confidential data, would do more to alienate stakeholders rather than bringing them together. ...
They will then be awarded with a certificate identifying them as an approved online pharmacy, which they will need to display on each offer detail page. ...
know-your-customer (KYC) obligations applied to intermediaries. 127 While Article 5 ECD refers only to the information Member States may require of ISPs, it appears rights holders lament the fact that intermediaries do ...
doi:10.2139/ssrn.3037744
fatcat:dpbgrmuuyzcc5lmajeckwxjddq
Gender, Candidate Emotional Expression, and Voter Reactions During Televised Debates
2021
American Political Science Review
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.
Consistent with our expectations, Angela Merkel expresses less anger than her male opponents, but she is just as emotive in other respects. ...
Relying on full-length videos of four German federal election debates (2005–2017) and a minor party debate, we use video, audio, and text data to measure candidate facial displays of emotion, vocal pitch ...
express more happiness than will men, and men will express more anger than will women. ...
doi:10.1017/s0003055421000666
fatcat:ecavc3te2bgd5mkmnxrhqt2xse
Deciphering the Biodiversity–Production Mutualism in the Global Food Security Debate
2020
Trends in Ecology & Evolution
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.
Crop growth could be implemented in more complex ways, i.e. by distinguishing different plant organs, or in more aggregated ways, i.e. through using regression models that do not account for intra-annual ...
Properly implemented, models deploying the analytical framework shown in Box 1 will enable researchers to determine the circumstances where biocontrol provides a more reliable, robust, costeffective and ...
doi:10.1016/j.tree.2020.06.012
pmid:32943219
fatcat:jxsr7pcrrne4tm4ekggrepvv5e
Comment on Michael A. Stegman et al.'s "Preventive servicing is good for businessandaffordable homeownership policy": What prevents loan modifications?
2007
Housing Policy Debate
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.
Subprime servicers depend far more on ancillary income, such as late fees, than prime servicers do. ...
Given the large number of subprime borrowers with loans that are resetting to significantly higher rates, servicers will often have to do more to prevent foreclosures than just make early contact and offer ...
doi:10.1080/10511482.2007.9521601
fatcat:zvsvf3y7kfcrjknp2i5e6zdeze
Worrying about climate change: is it responsible to promote public debate?
2015
BJPsych International
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 2018; you can also visit the original URL.
The file type is application/pdf.
Respectful, calm, considered public debate about how to respond to climate change is unlikely to be harmful to population mental health. ...
Instead, collective, systems-based approaches will be needed. ...
First, patients who do not attend are more unwell and more functionally impaired than those who do attend (Killaspy et al, 2000) . ...
doi:10.1192/s2056474000000234
pmid:29093844
pmcid:PMC5618910
fatcat:2jxldqonufcbdg2pq7zp3yy3ay
Searching for sustainability in the digital agriculture debate: an alternative approach for a systemic transition
2020
Revista Teknokultura
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.
While sustainability is an important issue, recent papers in the field of digital agriculture do not address the problem directly. ...
After a literature review, this paper will focus on the importance of shared perspectives as enablers in socio-technical transitions. ...
nations) will be more concerned with the open dissemination of good practices through digital means. ...
doi:10.5209/tekn.69475
fatcat:oafxy3hyv5ch3piorvjxzrmt7i
As ações judiciais contra a Vigilância Sanitária: pode-se falar de 'judicialização'?
2018
Saúde em Debate
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.
RESUMO O estudo tem por objetivo analisar as ações ajuizadas contra um serviço de Vigilância Sanitária municipal, à luz do fenômeno da judicialização da saúde. ...
Trata-se de um estudo de caso que teve como fonte documental os processos judiciais relativos à Vigilância Sanitária do município de Salvador, no período de 2000 a 2017. ...
being in the process of renewal of the permit for more than one year and a half. (Judicial action 32). ...
doi:10.1590/0103-11042018s205
fatcat:jzsorilsgvg3zf2riw5xgamq64
On Software Certification: We Need Product-Focused Approaches
2007
Dagstuhl Reports
unpublished
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 2018; you can also visit the original URL.
The file type is application/pdf.
, more pervasive deployment of software...could lead to more catastrophic failures unless improvements are made." ...
National Academy of Sciences [1], concludes that "new techniques and methods will be required in order to build future software systems to the level of dependability that will be required...In the future ...
It will also suggest some criteria by which we might judge any scheme to manage software certification so as to deliver positive RoI, and use this to stimulate a debate on how we evaluate the benefit of ...
fatcat:q2kxghm76ngahkficvearzzhw4
« Previous
Showing results 1 — 15 out of 12,509 results