5255 search results - page 743 / 1051 » Formal Methods for Privacy |
193
click to vote
ISI
2004
Springer
16 years 1 days ago
2004
Springer
Dynamic criminal network analysis is important for national security but also very challenging. However, little research has been done in this area. In this paper we propose to use...
174
click to vote
OOPSLA
2004
Springer
16 years 1 days ago
2004
Springer
Programmers tend to understand programs by thinking of concrete examples. Example Centric Programming seeks to add IDE support for examples throughout the process of programming. ...
147
click to vote
OOPSLA
2004
Springer
16 years 1 days ago
2004
Springer
These notes have the status of letters written to ourselves: we wrote them down because, without doing so, we found ourselves making rguments over and over again. So began the abs...
163
click to vote
WPES
2003
ACM
15 years 12 months ago
2003
ACM
There have long been threads of investigation into covert channels, and threads of investigation into anonymity, but these two closely related areas of information hiding have not...
159
click to vote
COMPSAC
2009
IEEE
15 years 11 months ago
2009
IEEE
Abstract—In recent years, cost-sensitive intrusion response has gained significant interest, mainly due to its emphasis on the balance between potential damage incurred by the i...