3319 search results - page 344 / 664 » Type Theoretical Databases |
125
Voted
ICTCS
2005
Springer
15 years 9 months 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...
132
Voted
ICALP
2004
Springer
15 years 9 months ago
2004
Springer
We consider the problem of learning a labeled graph from a given family of graphs on n vertices in a model where the only allowed operation is to query whether a set of vertices i...
115
Voted
ICALP
2004
Springer
15 years 9 months ago
2004
Springer
Abstract We present an analog and machine-independent algebraic characterization of elementarily computable functions over the real numbers in the sense of recursive analysis: we p...
113
Voted
ICALP
2004
Springer
15 years 9 months ago
2004
Springer
Abstract. We consider a finitary procedural programming language (finite data-types, no recursion) extended with parallel composition and binary semaphores. Having first shown t...
117
Voted
HICSS
2003
IEEE
15 years 9 months ago
2003
IEEE
Strategic management literature suggests that especially in young and dynamic industries Virtual Corporations are more likely to emerge, as this type of organization is flexible e...