307 search results - page 28 / 62 » Causality and the Semantics of Provenance |
129
click to vote
COMPSAC
2010
IEEE
14 years 10 months ago
2010
IEEE
In distributed IT systems, replication of information is commonly used to strengthen the fault tolerance on a technical level or the autonomy of an organization on a business level...
JSW
2007
15 years 10 days ago
2007
Abstract— In highly open systems like the Internet, attributebased access control (ABAC) has proven its appropriateness. This is reflected in the utilization of ABAC in authenti...
110
Voted
ESOP
2010
Springer
15 years 9 months ago
2010
Springer
Abstract. A verified compiler is an integral part of every security infrastructure. Previous work has come up with formal semantics for sequential and concurrent variants of Java a...
99
Voted
RULEML
2007
Springer
15 years 6 months ago
2007
Springer
Nowadays the increasing complexity of cars has become a major challenge due to the growing rate of electronic components and software. This trend has an impact on all phases of the...
AAAI
2008
15 years 2 months ago
2008
Applications of Semantic Web technologies often require the management of metalevel information--that is, information that provides additional detail about domain-level informatio...