11345 search results - page 1695 / 2269 » Foundations of Computer Science |
153
click to vote
ICALP
2005
Springer
15 years 12 months ago
2005
Springer
Trevisan has shown that constructions of pseudo-random generators from hard functions (the Nisan-Wigderson approach) also produce extractors. We show that constructions of pseudo-r...
143
click to vote
ICCS
2005
Springer
15 years 12 months ago
2005
Springer
Abstract. Grids should not just be facilitating advances in science and engineering; rather they should also be making an impact on our daily lives by enabling sophisticated applic...
222
click to vote
ICNC
2005
Springer
15 years 12 months ago
2005
Springer
From the last decade, modeling of cognitive agents have drawn great attention and provide a new paradigm for addressing fundamental questions in cognitive science. In this paper, a...
164
click to vote
ICTCS
2005
Springer
15 years 12 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...
154
click to vote
ICTCS
2005
Springer
15 years 12 months ago
2005
Springer
In the design of type systems for XML programming languages based on regular expression types and patterns the focus has been over result analysis, with the main aim of statically ...