7623 search results - page 1100 / 1525 » Constructive Volume Modeling |
184
click to vote
EGOV
2006
Springer
15 years 10 months ago
2006
Springer
This paper presents a synthetic summary of the literature in the area of quality of e-government services, as a basis for the future construction of a relevant model and ontology. ...
215
click to vote
ESOP
2006
Springer
15 years 10 months ago
2006
Springer
This paper describes FrTime, an extension of Scheme designed for writing interactive applications. Inspired by functional reactive programming, the language embeds dynamic dataflow...
175
click to vote
ESORICS
2006
Springer
15 years 10 months ago
2006
Springer
We propose a logic for specifying security policies at a very el of abstraction. The logic accommodates the subjective nature of affirmations for authorization and knowledge withou...
175
click to vote
EUROCRYPT
2006
Springer
15 years 10 months ago
2006
Springer
Sequence compression is one of the most promising tools for strengthening pseudo-random generators used in stream ciphers. Indeed, adding compression components can thwart algebrai...
185
click to vote
FOSSACS
2006
Springer
15 years 10 months ago
2006
Springer
Abstract. Rewriting systems over adhesive categories have been recently introduced as a general framework which encompasses several rewriting-based computational formalisms, includ...