890 search results - page 63 / 178 » Programming language methods in computer security |
80
Voted
AINA
2009
IEEE
15 years 5 months ago
2009
IEEE
—In recent years, dome display has become popular, and it is desired to establish a method to create dome image contents easily. In this study, psychophysical experiment was cond...
99
Voted
ICTAI
2006
IEEE
15 years 6 months ago
2006
IEEE
Computer programs that can be expressed in two or more dimensions are typically called visual programs. The underlying theories of visual programming languages involve graph gramm...
98
Voted
GI
2009
Springer
15 years 5 months ago
2009
Springer
: This paper describes a syntactical method for contextual equivalence in polymorphically typed lambda-calculi. Our specific calculus has letrec as cyclic let, data constructors, ...
113
Voted
ACTAC
2002
15 years 10 days ago
2002
Different program slicing methods are used for debugging, testing, reverse engineering and maintenance. Slicing algorithms can be classified as a static slicing or dynamic slicing...
125
click to vote
CCS
2007
ACM
15 years 4 months ago
2007
ACM
Remotely-launched software exploits are a common way for attackers to intrude into vulnerable computer systems. As detection techniques improve, remote exploitation techniques are...