13618 search results - page 344 / 2724 » The Newton Operating System |
193
click to vote
CLIMA
2007
15 years 9 months ago
2007
The proof theory of multi-agent epistemic logic extended with operators for distributed knowledge is studied. Distributed knowledge of A within a group G means that A follows from ...
165
click to vote
USS
2004
15 years 9 months ago
2004
Copilot is a coprocessor-based kernel integrity monitor for commodity systems. Copilot is designed to detect malicious modifications to a host's kernel and has correctly dete...
207
click to vote
FAST
2009
15 years 5 months ago
2009
The lineage of a piece of data is of utility to a wide range of domains. Several application-specific extensions have been built to facilitate tracking the origin of the output th...
212
click to vote
CPHYSICS
2010
15 years 5 months ago
2010
We present TFORM, the version of the symbolic manipulation system FORM that can make simultaneous use of several processors in a shared memory architecture. The implementation use...
197
click to vote
FOSSACS
2003
Springer
16 years 23 days ago
2003
Springer
We define an operational semantics and a type system for manipulating semistructured data that contains hidden information. The data model is simple labeled trees with a hiding op...