395 search results - page 76 / 79 » A Tool for Visual Understanding of Source Code Dependencies |
APLAS
2010
ACM
13 years 11 months ago
2010
ACM
Abstract. We propose a flexible method for verifying the security of ML programs that use cryptography and recursive data structures. Our main applications are X.509 certificate ch...
MSR
2006
ACM
14 years 5 months ago
2006
ACM
Software birthmarks are unique and native characteristics of every software component. Two components having similar birthmarks indicate that they are similar in functionality, st...
ICDCS
2010
IEEE
14 years 2 months ago
2010
IEEE
—Wireless Sensor Network (WSN) applications are typically event-driven. While the source codes of these applications may look simple, they are executed with a complicated concurr...
BC
1998
13 years 10 months ago
1998
Saccadic averaging is the phenomenon that two simultaneously presented retinal inputs result in a saccade with an endpoint located on an intermediate position between the two stimu...
IWLCS
2001
Springer
14 years 3 months ago
2001
Springer
In previous papers we have described the basic elements for building an economic model consisting of a group of artificial traders functioning and adapting in an environment conta...