1183 search results - page 125 / 237 » On flow-sensitive security types |
128
click to vote
PPDP
2005
Springer
15 years 10 months ago
2005
Springer
fects are statically generated program abstractions, that can be model checked for verification of assertions in a temporal program logic. In this paper we develop a type and eff...
120
click to vote
OOPSLA
2004
Springer
15 years 10 months ago
2004
Springer
Inheritance is a useful mechanism for factoring and reusing code. However, it has limitations for building extensible systems. We describe nested inheritance, a mechanism that add...
128
click to vote
C++
1994
15 years 5 months ago
1994
ne the design and detail the implementation of a language extension for abstracting types and for decoupling subtyping and inheritance in C++. This extension gives the user more of...
143
click to vote
ICIAP
2007
ACM
16 years 4 months ago
2007
ACM
In this paper, we propose a technique for detecting possible events in outdoor areas monitored by a video surveillance system. In particular, here we focus on the time spent by an...
139
click to vote
ESORICS
2009
Springer
15 years 11 months ago
2009
Springer
Location based services (LBS) are a specific instance of a broader class of Internet services that are predicted to become popular in a near future: context-aware services. The pr...