4211 search results - page 563 / 843 » Types as Abstract Interpretations |
167
click to vote
ICTCS
2005
Springer
16 years 1 days ago
2005
Springer
Abstract. An extension of the λ-calculus is proposed to study historybased access control. It allows for parametrized security policies with a possibly nested, local scope. To gov...
210
click to vote
ICWE
2005
Springer
16 years 1 days ago
2005
Springer
Abstract. In this paper we show an approach that allows web interfaces to dynamically distribute among several interconnected heterogeneous devices in an environment to support the...
149
click to vote
IDA
2005
Springer
16 years 1 days ago
2005
Springer
Abstract. We investigate an application of Probabilistic Latent Semantics to the problem of device usage analysis in an infrastructure in which multiple users have access to a shar...
145
click to vote
IFL
2005
Springer
16 years 23 hour ago
2005
Springer
The iData Toolkit is a toolkit that allows programmers to create interactive, type-safe, dynamic web applications with state on a high level of abstraction. The key element of this...
151
click to vote
IJCNLP
2005
Springer
16 years 23 hour ago
2005
Springer
Abstract. We explore the use of a partially annotated corpus to build a dependency parser for Japanese. We examine two types of partially annotated corpora. It is found that a pars...