1581 search results - page 291 / 317 » Mechanizing Inductive Reasoning |
105
click to vote
UM
2009
Springer
15 years 4 months ago
2009
Springer
Abstract. Reconciling personalization with privacy has been a continuing interest in the user modeling community. In prior work, we proposed a dynamic privacy-enhancing user modeli...
SACMAT
2009
ACM
15 years 4 months ago
2009
ACM
In both the commercial and defense sectors a compelling need is emerging for highly dynamic, yet risk optimized, sharing of information across traditional organizational boundarie...
118
click to vote
SACMAT
2009
ACM
15 years 4 months ago
2009
ACM
In this paper, we present a mandatory access control system that uses input from multiple stakeholders to compose policies based on runtime information. In the emerging ubiquitous...
AB
2008
Springer
15 years 4 months ago
2008
Springer
A specific class of ODEs has been shown to be adequate to describe the essential features of the complex dynamics of Gene-Regulatory Networks (GRN). But, the effective exploitatio...
BROADNETS
2007
IEEE
15 years 4 months ago
2007
IEEE
—Epidemic protocols assume that information of a random set of nodes is provided at each protocol round. By definition, the random set needs to be chosen uniformly and randomly ...