5255 search results - page 339 / 1051 » Formal Methods for Privacy |
183
click to vote
SP
2002
IEEE
15 years 4 months ago
2002
IEEE
Mobile Objects in Java provides support for object mobility in Java. Similarly to the RMI technique, a notion of client-side stub, called startpoint, is used to communicate transp...
127
click to vote
ISI
2010
Springer
15 years 3 months ago
2010
Springer
—Fear of crime is a central topic in the field of victimization. In particular, criminologists are interested in the environmental structures and cues that generate fear. Resear...
151
click to vote
OOPSLA
2010
Springer
15 years 3 months ago
2010
Springer
We introduce a type system based on intervals, objects representing the time in which a block of code will execute. The type system can verify time-based properties such as when a...
162
click to vote
PERCOM
2010
ACM
15 years 3 months ago
2010
ACM
Opportunistic networking - forwarding messages in a disconnected mobile ad hoc network via any encountered nodes - otters a new mechanism for exploiting the mobile devices that man...
128
click to vote
CRITIS
2009
15 years 2 months ago
2009
Abstract. With an increasing demand of inter-connectivity and protocol standardization modern cyber-critical infrastructures are exposed to a multitude of serious threats that may ...