382 search results - page 68 / 77 » A Formalization of Trust Alignment |
106
click to vote
IDEAS
2010
IEEE
14 years 9 months ago
2010
IEEE
Abstract. We consider the class of applications that manage time series (TS) and propose a data model and a query language that let these applications manipulate TS data sets at a ...
115
click to vote
ARGMAS
2004
Springer
15 years 5 months ago
2004
Springer
This paper compares within the MAS framework two separate threads in the formal study of epistemic change: belief revision and argumentation theories. Belief revision describes how...
119
click to vote
SSDBM
2010
IEEE
15 years 4 months ago
2010
IEEE
The Resource Description Framework (RDF) format is being used by a large number of scientific applications to store and disseminate their datasets. The provenance information, desc...
101
click to vote
PLDI
2010
ACM
15 years 3 months ago
2010
ACM
Verified compilers, such as Leroy's CompCert, are accompanied by a fully checked correctness proof. Both the compiler and proof are often constructed with an interactive proo...
106
click to vote
OSDI
1996
ACM
15 years 1 months ago
1996
ACM
This paper describes a mechanism by which an operating system kernel can determine with certainty that it is safe to execute a binary supplied by an untrusted source. The kernel r...