1183 search results - page 177 / 237 » On flow-sensitive security types |
OOPSLA
2004
Springer
15 years 5 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...
SAFECOMP
2004
Springer
15 years 5 months ago
2004
Springer
This paper defines a type of constrained artificial neural network (ANN) that enables analytical certification arguments whilst retaining valuable performance characteristics. ...
100
click to vote
ISI
2003
Springer
15 years 5 months ago
2003
Springer
Criminals have been using the Internet to distribute a wide range of illegal materials globally in an anonymous manner, making criminal identity tracing difficult in the cybercrime...
SIGMOD
2010
ACM
15 years 4 months ago
2010
ACM
Serious concerns on privacy protection in social networks have been raised in recent years; however, research in this area is still in its infancy. The problem is challenging due ...
RTSS
1999
IEEE
15 years 4 months ago
1999
IEEE
High performance monitoring and control of real-time environments over the Internet is of importance to many users. The general public, as well as professionals, desires the abili...