3319 search results - page 344 / 664 » Type Theoretical Databases |
176
click to vote
ICTCS
2005
Springer
16 years 3 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...
175
click to vote
ICALP
2004
Springer
15 years 12 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...
150
click to vote
ICALP
2004
Springer
15 years 12 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...
160
click to vote
ICALP
2004
Springer
15 years 12 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...
160
Voted
HICSS
2003
IEEE
15 years 12 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...