1466 search results - page 242 / 294 » C Program Information Database for Analysis Tools |
KDD
2008
ACM
14 years 8 months 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...
CAV
2000
Springer
14 years 5 hour ago
2000
Springer
Abstract. Any formalmethodor tool is almostcertainlymoreoftenapplied in situationswheretheoutcomeis failure(acounterexample)rather than success (a correctness proof). We present a ...
DATE
2003
IEEE
14 years 29 days ago
2003
IEEE
System design methodology is poised to become the next big enabler for highly sophisticated electronic products. Design verification continues to be a major challenge and simulat...
Publication
We present ADSandbox, an analysis system for malicious websites that focusses on detecting attacks through JavaScript. Since, in contrast to Java, JavaScript does not have any bui...
DGO
2004
13 years 9 months ago
2004
This demonstration will be presented at the 2004 National Conference on Digital Government Research. The third year results of the project "Digitalization of Coastal Manageme...