1027 search results - page 90 / 206 » Callgraph properties of executables |
121
Voted
CASSIS
2004
Springer
15 years 6 months ago
2004
Springer
Abstract. This paper addresses the problem of static checking of programs to ensure that they satisfy confidentiality policies in the presence of dynamic access control in the for...
107
Voted
MIDDLEWARE
2004
Springer
15 years 6 months ago
2004
Springer
Recent evolution in computer networks clearly demonstrates a trend towards complex and dynamic networks. To fully exploit the potential of such heterogeneous and rapidly evolving ...
110
click to vote
PPDP
2004
Springer
15 years 6 months ago
2004
Springer
We introduce just enough tabling (JET), a mechanism to suspend and resume the tabled execution of logic programs at an arbitrary point. In particular, JET allows pruning of tabled...
115
Voted
RE
2004
Springer
15 years 6 months ago
2004
Springer
Requirements engineers need to make sure that the requirements models and specifications they are building do accurately capture what stakeholders really want. Requirements animat...
119
Voted
IPPS
2003
IEEE
15 years 6 months ago
2003
IEEE
We are interested in new ways of threats and attack on the e-commerce. The server side of e-commerce platform is usually very well protected and secured. Unfortunately, this is no...