10575 search results - page 1733 / 2115 » T2Script Programming Language |
121
click to vote
CSFW
2010
IEEE
15 years 9 months ago
2010
IEEE
—This paper seeks to answer fundamental questions about trade-offs between static and dynamic security analysis. It has been previously shown that flow-sensitive static informat...
127
Voted
AOSD
2007
ACM
15 years 8 months ago
2007
ACM
Efficient data retrieval from databases is a significant issue of the design of persistent systems. We propose an aspect oriented persistent system named AspectualStore. Aspectual...
146
Voted
COMPSAC
2004
IEEE
15 years 8 months ago
2004
IEEE
Input validation refers to checking user inputs to a program to ensure that they conform to expectations of the program. Input validation is used to check the format of numbers and...
170
click to vote
ESWS
2006
Springer
15 years 8 months ago
2006
Springer
Knowledge representation formalisms used on the Semantic Web adhere to a strict open world assumption. Therefore, nonmonotonic reasoning techniques are often viewed with scepticism...
129
Voted
TIC
2000
Springer
15 years 8 months ago
2000
Springer
Abstract. We present the design and implementation of the first complete framework for flexible and safe dynamic linking of native code. Our approach extends Typed Assembly Languag...