717 search results - page 93 / 144 » Knowledge-based data analysis and interpretation |
RPTEL
2006
14 years 10 months ago
2006
This paper takes one step towards addressing the question of how activity mediated by shared representations--notations that are manipulated by more than one person during a collab...
SIGSOFT
2004
ACM
15 years 10 months ago
2004
ACM
Five modern static analysis tools (ARCHER, BOON, PolySpace C Verifier, Splint, and UNO) were evaluated using source code examples containing 14 exploitable buffer overflow vulnera...
IMC
2006
ACM
15 years 4 months ago
2006
ACM
Understanding the characteristics of the Internet delay space (i.e., the all-pairs set of static round-trip propagation delays among edge networks in the Internet) is important fo...
CCS
2007
ACM
15 years 4 months ago
2007
ACM
Protocol reverse engineering, the process of extracting the application-level protocol used by an implementation, without access to the protocol specification, is important for m...
123
click to vote
SAS
1992
Springer
15 years 2 months ago
1992
Springer
Abstract Constraint logic programming (CLP) is a generalization of the pure logic programming paradigm, having similar model-theoretic, fixpoint and operational semantics [9]. Sinc...