4211 search results - page 706 / 843 » Types as Abstract Interpretations |
113
click to vote
SACRYPT
2004
Springer
15 years 9 months ago
2004
Springer
Abstract. This paper investigates the security of Proactive Secret Sharing Schemes. We start with revision of the mobile adversary model of Herzberg’s et al. imposing less restri...
134
click to vote
SCVMA
2004
Springer
15 years 9 months ago
2004
Springer
Abstract. This paper presents and investigates a set of local spacetime descriptors for representing and recognizing motion patterns in video. Following the idea of local features ...
138
click to vote
SEM
2004
Springer
15 years 9 months ago
2004
Springer
Abstract. Context-awareness refers to a computing model where application behavior is driven by a continually-changing environment. Mobile computing poses unique challenges to cont...
110
click to vote
SOFSEM
2004
Springer
15 years 9 months ago
2004
Springer
In this paper we present a model of versioned web sites which is aimed at building a web site configuration. The web site configuration is a consistent version of the web site an...
137
click to vote
TES
2004
Springer
15 years 9 months ago
2004
Springer
Abstract. With the emergence of Web service technologies, it has become possible to use high level megaprogramming models and visual tools to easily build distributed systems using...