1183 search results - page 125 / 237 » On flow-sensitive security types |
164
click to vote
PPDP
2005
Springer
16 years 9 days 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...
149
click to vote
OOPSLA
2004
Springer
16 years 5 days 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...
161
click to vote
C++
1994
15 years 8 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...
179
click to vote
ICIAP
2007
ACM
16 years 7 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...
167
click to vote
ESORICS
2009
Springer
16 years 1 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...