Turnitin
降AI改写
早检测系统
早降重系统
Turnitin-UK版
万方检测-期刊版
维普编辑部版
Grammarly检测
Paperpass检测
checkpass检测
PaperYY检测
The state of the art in language workbenches: Conclusions from the language workbench challenge
Abstract Language workbenches are tools that provide high-level mechanisms for the
implementation of (domain-specific) languages. Language workbenches are an active area …
implementation of (domain-specific) languages. Language workbenches are an active area …
[HTML][HTML] Digital forensics as a service: Step** up the game
HMA van Beek, J van den Bos, A Boztas… - Forensic Science …, 2020 - Elsevier
Abstract After providing Digital Forensics as a Service (DFaaS) implementations to law
enforcement agencies for close to a decade, we present our view from an inside-out …
enforcement agencies for close to a decade, we present our view from an inside-out …
[HTML][HTML] A tutorial on metamodelling for grammar researchers
A metamodel has been defined as: a model of a model; a definition of a language; a
description of abstract syntax; and a description of a domain. Because of these varied …
description of abstract syntax; and a description of a domain. Because of these varied …
Lessons learned from develo** mbeddr: a case study in language engineering with MPS
Abstract Language workbenches are touted as a promising technology to engineer
languages for use in a wide range of domains, from programming to science to business …
languages for use in a wide range of domains, from programming to science to business …
Languages of games and play: A systematic map** study
R Van Rozen - ACM Computing Surveys (CSUR), 2020 - dl.acm.org
Digital games are a powerful means for creating enticing, beautiful, educational, and often
highly addictive interactive experiences that impact the lives of billions of players worldwide …
highly addictive interactive experiences that impact the lives of billions of players worldwide …
A comprehensive literature review of file carving
File carving is a recovery technique allowing file recovery without knowledge about
contextual information such as file system metadata. Due to recent advancements in …
contextual information such as file system metadata. Due to recent advancements in …
Toward live domain-specific languages: From text differencing to adapting models at run time
R van Rozen, T van der Storm - Software & Systems Modeling, 2019 - Springer
Live programming is a style of development characterized by incremental change and
immediate feedback. Instead of long edit-compile cycles, developers modify a running …
immediate feedback. Instead of long edit-compile cycles, developers modify a running …
Type systems for the masses: Deriving soundness proofs and efficient checkers
The correct definition and implementation of non-trivial type systems is difficult and requires
expert knowledge, which is not available to developers of domain-specific languages …
expert knowledge, which is not available to developers of domain-specific languages …
[HTML][HTML] Error level analysis technique for identifying jpeg block unique signature for digital forensic analysis
The popularity of unique image compression features of image files opens an interesting
research analysis process, given that several digital forensics cases are related to diverse …
research analysis process, given that several digital forensics cases are related to diverse …
[HTML][HTML] Nugget: A digital forensics language
C Stelly, V Roussev - Digital Investigation, 2018 - Elsevier
One of the long-standing conceptual problems in digital forensics is the dichotomy between
the imperative for verifiable and reproducible forensic computations, and the lack of …
the imperative for verifiable and reproducible forensic computations, and the lack of …