Skip to search formSkip to main contentSkip to account menu

BackTrack

Known as: BackTrack Linux, BackTrack OS, Whoppix 
BackTrack was a Linux distribution that focused on security based on the Ubuntu Linux distribution aimed at digital forensics and penetration testing… 
Wikipedia (opens in a new tab)

Related topics

Related topics

35 relations
ARM architectureBashCAcert.orgComparison of Linux distributions

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
2015
2015
Switching from exact scheme to nonstandard finite difference scheme for linear delay differential equation
2013
2013
Incremental Dynamic Controllability Revisited
Simple Temporal Networks with Uncertainty (STNUs) allow the representation of temporal problems where some durations are… 
Highly Cited
2012
Highly Cited
2012
Distributed Barrier Coverage in Wireless Visual Sensor Networks With $\beta$-QoM
Wireless visual sensor networks (WVSNs) can not only provide monitoring functions like wireless sensor networks but also capture… 
2005
2005
Conceptualization and Labelling as Cognitive Challenges for Students of Data Modelling
Constructing a data model for a problem area requires identifying and formulating some symbolic representation of the concepts… 
2004
2004
Improving the Model Generation/Checking Interplay to Enhance the Evaluation of Disjunctive Programs
Disjunctive Logic Programming (DLP) under the answer set semantics is an advanced formalism for knowledge representation and… 
2001
2001
Exploiting stabilizers and parallelism in state space generation with the symmetry method
The symmetry method is a main reduction paradigm for alleviating the state explosion problem. For large symmetry groups deciding… 
Highly Cited
1993
Highly Cited
1993
Automatic Generation of Some Results in Finite Algebra
This is a report of the application of the Model Generation Theorem Prover developed at ICOT to problems in the theory of finite… 
1993
1993
DDD-FM9001: Derivation of a Verified Microprocessor
Derivation and verification represent alternate approaches to design. Derivation aims at deriving a "correct by construction… 
Highly Cited
1992
Highly Cited
1992
Experiments in Competence Acquisition for Autonomous Mobile Robots
This thesis addresses the problem of intelligent control of autonomous mobile robots, particularly under circumstances unforeseen… 
1992
1992
SIESTA: a multi-facet scan design system
Scan design methodology has led to a range of design-for-testability techniques. However, scan techniques are not universally… 
By clicking accept or continuing to use the site, you agree to the terms outlined in our Privacy Policy (opens in a new tab), Terms of Service (opens in a new tab), and Dataset License (opens in a new tab)