882 search results - page 12 / 177 » Visibility-driven transfer functions |
POPL
2004
ACM
14 years 8 months ago
2004
ACM
We present a framework for the certification of compilation and of compiled programs. Our approach uses a symbolic transfer functions-based representation of programs, so as to ch...
SACRYPT
2005
Springer
14 years 1 months ago
2005
Springer
The ability to link two different sightings of the same Radio Frequency Identification (RFID) tag enables invasions of privacy. The problem is aggravated when an item, and the ta...
ECSQARU
2005
Springer
14 years 1 months ago
2005
Springer
The Transferable Belief Model is a general framework for managing imprecise and uncertain information using belief functions. In this framework, the discounting operation allows to...
INFORMATICALT
1998
13 years 7 months ago
1998
This paper describes a method how to represent and build a reusable VHDL component. By that component we can, for example, describe a family of the relative VHDL models. To represe...
FROCOS
2005
Springer
14 years 1 months ago
2005
Springer
In a previous paper, we have introduced a general approach for connecting two many-sorted theories through connection functions that behave like homomorphisms on the shared signatu...