Run-Time Security Traceability for Evolving Systems†.
- Published in:
- Computer Journal, 2011, v. 54, n. 1, p. 58, doi. 10.1093/comjnl/bxq042
- By:
- Publication type:
- Article
Works matching IS 00104620 AND DT 2011 AND VI 54 AND IP 1
Results: 15
1
2
A Necessary and Sufficient Condition for the Liveness of Normal Nets.
- Published in:
- Computer Journal, 2011, v. 54, n. 1, p. 157, doi. 10.1093/comjnl/bxp118
- By:
- Publication type:
- Article
3
Levenberg—Marquardt Training Algorithms for Random Neural Networks.
- Published in:
- Computer Journal, 2011, v. 54, n. 1, p. 125, doi. 10.1093/comjnl/bxp101
- By:
- Publication type:
- Article
4
Inventing the User: EDSAC in Context.
- Published in:
- Computer Journal, 2011, v. 54, n. 1, p. 143, doi. 10.1093/comjnl/bxp116
- By:
- Publication type:
- Article
5
EDSAC at 60—A Celebration of 60 Years Since the First Program Ran on the EDSAC at Cambridge.
- Published in:
- Computer Journal, 2011, v. 54, n. 1, p. 136, doi. 10.1093/comjnl/bxp114
- By:
- Publication type:
- Article
6
Dynamic Neighbourhood Cellular Automata1.
- Published in:
- Computer Journal, 2011, v. 54, n. 1, p. 26, doi. 10.1093/comjnl/bxp019
- By:
- Publication type:
- Article
7
Events, Causality and Symmetry.
- Published in:
- Computer Journal, 2011, v. 54, n. 1, p. 42, doi. 10.1093/comjnl/bxp052
- By:
- Publication type:
- Article
8
Detecting Common Modules in Java Packages Based on Static Object Trace Birthmark.
- Published in:
- Computer Journal, 2011, v. 54, n. 1, p. 108, doi. 10.1093/comjnl/bxp095
- By:
- Publication type:
- Article
9
Modal Logics are Coalgebraic1.
- Published in:
- Computer Journal, 2011, v. 54, n. 1, p. 31, doi. 10.1093/comjnl/bxp004
- By:
- Publication type:
- Article
10
On Instantiation and Integration Commutability of Design Pattern.
- Published in:
- Computer Journal, 2011, v. 54, n. 1, p. 164, doi. 10.1093/comjnl/bxp125
- By:
- Publication type:
- Article
11
Compiling C-like Languages to FPGA Hardware: Some Novel Approaches Targeting Data Memory Organization1.
- Published in:
- Computer Journal, 2011, v. 54, n. 1, p. 1, doi. 10.1093/comjnl/bxp020
- By:
- Publication type:
- Article
12
EDSAC: A Programmer Remembers.
- Published in:
- Computer Journal, 2011, v. 54, n. 1, p. 139, doi. 10.1093/comjnl/bxp115
- By:
- Publication type:
- Article
13
An Analysis of Associated Dividends in the DBM Algorithm for Division by Constants Using Multiplication.
- Published in:
- Computer Journal, 2011, v. 54, n. 1, p. 148, doi. 10.1093/comjnl/bxp117
- By:
- Publication type:
- Article
14
A Unified Theory of Program Logics: An Approach based on the π-Calculus1.
- Published in:
- Computer Journal, 2011, v. 54, n. 1, p. 88, doi. 10.1093/comjnl/bxp092
- By:
- Publication type:
- Article
15
On Using Physical Analogies for Feature and Shape Extraction in Computer Vision.
- Published in:
- Computer Journal, 2011, v. 54, n. 1, p. 11, doi. 10.1093/comjnl/bxp070
- By:
- Publication type:
- Article