5084 search results - page 670 / 1017 » Proving Possibility Properties |
167
click to vote
ARCS
2005
Springer
16 years 7 days 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 ...
168
click to vote
ADBIS
2004
Springer
16 years 5 days ago
2004
Springer
Repairing a database means making the database consistent by applying changes that are as small as possible. Nearly all approaches to repairing have assumed deletions and insertion...
154
click to vote
ADC
2004
Springer
16 years 5 days ago
2004
Springer
Reflective Relational Machines were introduced by S. Abiteboul, C. Papadimitriou and V. Vianu in 1994, as variations of Turing machines which are suitable for the computation of ...
160
click to vote
CRYPTO
2004
Springer
16 years 5 days ago
2004
Springer
In a recent paper Dinur and Nissim considered a statistical database in which a trusted database administrator monitors queries and introduces noise to the responses with the goal ...
165
click to vote
CSL
2004
Springer
16 years 5 days ago
2004
Springer
A CPS translation is a syntactic translation of programs, which is useful for describing their operational behavior. By iterating the standard call-by-value CPS translation, Danvy ...