2213 search results - page 299 / 443 » Software Security |
125
Voted
OOPSLA
2004
Springer
15 years 9 months ago
2004
Springer
Generics offer significant software engineering benefits since they provide code reuse without compromising type safety. Thus generics will be added to the Java language in the...
138
Voted
TPHOL
2008
IEEE
15 years 10 months ago
2008
IEEE
Slicing is a widely-used technique with applications in e.g. compiler technology and software security. Thus verification of algorithms in these areas is often based on the correc...
152
Voted
IEEEARES
2007
IEEE
15 years 10 months ago
2007
IEEE
Access control in decentralised collaborative systems present huge challenges especially where many autonomous entities including organisations, humans, software agents from diff...
157
click to vote
CCS
2008
ACM
15 years 5 months ago
2008
ACM
Hash tables are fundamental data structures that optimally answer membership queries. Suppose a client stores n elements in a hash table that is outsourced at a remote server so t...
128
Voted
AGENTS
1998
Springer
15 years 7 months ago
1998
Springer
The World-Wide Web is developing very fast. Currently, nding useful information on the Web is a time consuming process. In this paper, we present WebMate, an agent that helps user...