2137 search results - page 319 / 428 » Proving Abstract Non-interference |
118
Voted
ARCS
2005
Springer
15 years 8 months ago
2005
Springer
Abstract. The SoC (System-on-Chip) technology is used in small and flexible consumer electronic devices. SoCs include one or more microcontroller, memory, programmable logic, and ...
115
Voted
APWEB
2004
Springer
15 years 8 months ago
2004
Springer
Abstract. Integrity constraints play a fundamental role in defining semantics in both conventional databases and in XML documents. In this paper we generalize previous approaches ...
106
click to vote
ASIACRYPT
2004
Springer
15 years 8 months ago
2004
Springer
Abstract. We consider the problem of increasing the threshold parameter of a secret-sharing scheme after the setup (share distribution) phase, without further communication between...
125
Voted
CSL
2004
Springer
15 years 8 months ago
2004
Springer
Locality notions in logic say that the truth value of a formula can be determined locally, by looking at the isomorphism type of a small neighborhood of its free variables. Such n...
106
click to vote
DIS
2004
Springer
15 years 8 months ago
2004
Springer
Abstract. Ripple Down Rules is a practical methodology to build knowledgebased systems, which has proved successful in a wide range of commercial applications. However, little work...