5255 search results - page 170 / 1051 » Formal Methods for Privacy |
130
Voted
FMCAD
2004
Springer
15 years 7 months ago
2004
Springer
We present a functional approach, based on the ACL2 logic, for the specification of system on a chip communication architectures. Our decomposition of the communications allows the...
143
click to vote
ICFEM
1998
Springer
15 years 7 months ago
1998
Springer
Open component architectures, such as CORBA, allow software systems to be composed of independent components. The behavior of components is described with a mixture of an interfac...
141
Voted
CIA
2008
Springer
15 years 5 months ago
2008
Springer
Abstract. This paper introduces a formal method to aggregate over basic beliefs, in order to deduce aggregated or complex beliefs as often used in applications. Complex beliefs can...
158
Voted
ICWS
2009
IEEE
16 years 24 days ago
2009
IEEE
Mashup is a web technology that combines information from more than one source into a single web application. This technique provides a new platform for different data providers t...
116
click to vote
HICSS
2009
IEEE
15 years 10 months ago
2009
IEEE
Privacy preserving data mining has been investigated extensively. The previous works mainly fall into two categories, perturbation and randomization based approaches and secure mu...