247 search results - page 24 / 50 » Development graphs - Proof management for structured specifi... |
124
click to vote
DIM
2007
ACM
15 years 3 months ago
2007
ACM
In this paper, we examine how conclusions about linkability threats can be drawn by analyzing message contents and subject knowledge in arbitrary communication systems. At first, ...
127
click to vote
ELPUB
2006
ACM
15 years 5 months ago
2006
ACM
In the last few years, the University of Aveiro, Portugal, has been offering several distance learning courses over the Web, using e-learning platforms. Experience showed that dif...
CCS
2009
ACM
15 years 6 months ago
2009
ACM
A major challenge of the anti-virus (AV) industry is how to effectively process the huge influx of malware samples they receive every day. One possible solution to this problem i...
107
click to vote
KDD
2008
ACM
16 years 3 days ago
2008
ACM
In this article we describe a visual-analytic tool for the interrogation of evolving interaction network data such as those found in social, bibliometric, WWW and biological appli...
124
click to vote
KDD
2006
ACM
16 years 3 days ago
2006
ACM
Along with the blossom of open source projects comes the convenience for software plagiarism. A company, if less self-disciplined, may be tempted to plagiarize some open source pr...