141
click to vote
ICCS
2007
Springer
16 years 1 days ago
2007
Springer
Abstract. Representation of knowledge is used to store and retrieve informational data in a machine. Since meaning cannot be directly stored in the computer; this work proposes a s...
173
click to vote
B
2007
Springer
16 years 2 days ago
2007
Springer
Abstract. CSP B is an integration of the process algebra Communicating Sequential Processes (CSP), and the B-Method, which enables consistent controllers to be written for B machin...
142
click to vote
PDP
2009
IEEE
16 years 21 days ago
2009
IEEE
PsycoTrace is a set of tools to protect a process P from attacks that alter P self as specified by its source code. P self is specified in terms of legal traces of system calls ...
151
click to vote
STACS
2010
Springer
16 years 26 days ago
2010
Springer
Abstract. It is well-known that Abstract State Machines (ASMs) can simulate “stepby-step” any type of machines (Turing machines, RAMs, etc.). We aim to overcome two facts: 1) s...