5255 search results - page 520 / 1051 » Formal Methods for Privacy |
174
click to vote
ACSAC
2002
IEEE
16 years 16 hour ago
2002
IEEE
Corruption or disclosure of sensitive user documents can be among the most lasting and costly effects of malicious software attacks. Many malicious programs specifically target fi...
181
click to vote
ACSAC
2002
IEEE
16 years 16 hour ago
2002
IEEE
Intrusion detection systems (IDSs) have reached a high level of sophistication and are able to detect intrusions with a variety of methods. Unfortunately, system administrators ne...
191
click to vote
AGENTS
2001
Springer
15 years 11 months ago
2001
Springer
We introduce the study of live social insect colonies as a relevant and exciting domain for the development and application of multi-agent systems modeling tools. Social insects p...
229
click to vote
AGENTS
2001
Springer
15 years 11 months ago
2001
Springer
The development of the semantic Web will require agents to use common domain ontologies to facilitate communication of conceptual knowledge. However, the proliferation of domain on...
197
click to vote
CCS
2001
ACM
15 years 11 months ago
2001
ACM
XML is increasingly becoming the format of choice for information exchange on the Internet. As this trend grows, one can expect that documents (or collections thereof) may get qui...