中文
相关论文

相关论文: Are You Ready? Towards the Engineering of Forensic…

200 篇论文

The potential benefits of autonomous systems have been driving intensive development of such systems, and of supporting tools and methodologies. However, there are still major issues to be dealt with before such development becomes…

软件工程 · 计算机科学 2022-05-25 David Harel , Assaf Marron , Joseph Sifakis

The purpose of this work is to design and implement a plugin-based environment that allows to integrate forensic tools working together to support programming tasks and addition of new tools. Integration is done through GUI components. The…

密码学与安全 · 计算机科学 2009-07-27 Marc-André Laverdière , Serguei A. Mokhov , Suhasini Tsapa , Djamel Benredjem

We propose here to look at how abstract a model of a usable system can be, but still say something useful and interesting, so this paper is an exercise in abstraction and formalisation, with usability-of-design as an example target use. We…

人机交互 · 计算机科学 2024-03-14 Steve Reeves

This paper provides a survey of the industry perspective on System Resiliency and Resiliency design approaches and briefly touches on Organizational Resiliency topics. Beginning with a composite definition of Resiliency, System…

软件工程 · 计算机科学 2020-10-13 James J. Cusick

Recidivism prediction provides decision makers with an assessment of the likelihood that a criminal defendant will reoffend that can be used in pre-trial decision-making. It can also be used for prediction of locations where crimes most…

机器学习 · 统计学 2019-10-07 Eduardo Soares , Plamen Angelov

Criminal investigations are inherently complex as they typically involve interactions among various actors like investigators, prosecutors, and defendants. The pervasive integration of technology in daily life adds an extra layer of…

密码学与安全 · 计算机科学 2024-05-17 Mario Raciti , Giampaolo Bella

Context: Consistent requirements and system specifications are essential for the compliance of software systems towards the General Data Protection Regulation (GDPR). Both artefacts need to be grounded in the original text and conjointly…

软件工程 · 计算机科学 2025-11-03 Oleksandr Kosenkov , Ehsan Zabardast , Davide Fucci , Daniel Mendez , Michael Unterkalmsteiner

In an ever-changing world, even software that fulfils its requirements may have un-envisioned aftereffects with significant impacts. We explored how such impacts can be better understood at the pre-design phase in support of organisational…

软件工程 · 计算机科学 2023-06-19 Andrew Darby , Pete Sawyer , Nelly Bencomo

System safety refers to a diverse engineering discipline assessing and improving various aspects of safety in socio-technical systems and their software-intensive sub-systems. While system safety has been a vital area of applied research…

软件工程 · 计算机科学 2018-12-21 Mario Gleirscher , Anne Nyokabi

Given the ever-increasing prevalence of technology in modern life, there is a corresponding increase in the likelihood of digital devices being pertinent to a criminal investigation or civil litigation. As a direct consequence, the number…

密码学与安全 · 计算机科学 2016-04-14 David Lillis , Brett Becker , Tadhg O'Sullivan , Mark Scanlon

Today a lot of digital evidences for crime investigation includes a geospatial component. This data comes from various sources such as smartphones, tablets, navigation systems, digital camera with global positioning system (GPS), etc. The…

密码学与安全 · 计算机科学 2017-04-12 Almar Tillekens , Nhien-An Le-Khac , Thanh-Thoa Pham-Thi

Cyber-physical production systems increasingly involve collaborative robotic missions, requiring more demand for robust and safe missions. Industries rely on risk assessments to identify potential failures and implement measures to mitigate…

机器人学 · 计算机科学 2025-06-17 Razan Ghzouli , Atieh Hanna , Endre Erös , Rebekka Wohlrab

Model-based engineering promises to boost productivity and quality of complex systems development. In the context of safety-critical systems, a traditionally highly regulated and conservative domain, the use of models gained importance in…

软件工程 · 计算机科学 2021-06-07 Marc Zeller , Daniel Ratiu , Kai Hoefig

Over the last decade we have witnessed an increasing use of data processing in embedded systems. Where in the past the data processing was limited (if present at all) to the handling of a small number of "on-off control signals", more…

软件工程 · 计算机科学 2013-11-15 Boudewijn R. Haverkort

Procedural generation is used across game design to achieve a wide variety of ends, and has led to the creation of several game subgenres by injecting variance, surprise or unpredictability into otherwise static designs. Information games…

人工智能 · 计算机科学 2020-04-07 Michael Cook

Achieving safe and robust autonomy is the key bottleneck on the path towards broader adoption of autonomous vehicles technology. This motivates going beyond extrinsic metrics such as miles between disengagement, and calls for approaches…

This paper examines the problems faced by Law Enforcement in searching large quantities of electronic evidence. It examines the use of ontologies as the basis for new forensic software filters and provides a proof of concept tool based on…

密码学与安全 · 计算机科学 2014-08-01 Jill Slay , Fiona Schulz

Critical systems, such as those used in healthcare, defence, and disaster management, demand rigorous requirements engineering to ensure safety and reliability. Yet, much of this rigour has traditionally focused on technical assurance,…

软件工程 · 计算机科学 2025-11-18 Anuradha Madugalla , Jixuan Dong , Kai Lyne Loi , Matthew Crossman , John Grundy

Development and exploitation of technology have led to the further expansion and complexity of digital crimes. On the other hand, the growing volume of data and, subsequently, evidence is a severe challenge in digital forensics. In recent…

密码学与安全 · 计算机科学 2023-06-09 Tahereh Nayerifard , Haleh Amintoosi , Abbas Ghaemi Bafghi , Ali Dehghantanha

Context and motivation: Requirements engineering of complex IT systems needs to manage the many, and often vague and conflicting, organisational rules that exist in the context of a modern enterprise. At the same time, IT systems affect the…

软件工程 · 计算机科学 2024-02-22 Jöran Lindeberg , Eric-Oluf Svee , Martin Henkel