194
click to vote
ACSD
2008
IEEE
15 years 9 months ago
2008
IEEE
This paper considers distributed systems, defined as a collection of components interacting through interfaces. Components, interfaces and distributed systems are modeled as Petri...
177
click to vote
ACSC
2008
IEEE
15 years 9 months ago
2008
IEEE
A number of organizations publish microdata for purposes such as public health and demographic research. Although attributes of microdata that clearly identify individuals, such a...
185
click to vote
ACSC
2008
IEEE
15 years 9 months ago
2008
IEEE
Recurrent neural networks are able to store information about previous as well as current inputs. This "memory" allows them to solve temporal problems such as language r...
160
click to vote
ACSAC
2008
IEEE
15 years 9 months ago
2008
IEEE
A concern about personal information confidentiality typically arises when any desktop application communicates to the external network, for example, to its producer's server...
171
click to vote
ACSAC
2008
IEEE
15 years 9 months ago
2008
IEEE
Access control policies are often specified in declarative languages. In this paper, we propose a novel approach, called mutation verification, to assess the quality of properties...