3385 search results - page 533 / 677 » Language, Logic, and the Brain |
180
click to vote
DEXA
2004
Springer
15 years 12 months ago
2004
Springer
Although many spatio-temporal conceptual models has been proposed in the last years, users must express their queries on the underlying physical data structures. In the context of ...
159
click to vote
ESORICS
2004
Springer
15 years 12 months ago
2004
Springer
Abstract. Access control languages which support administrative controls, and thus allow the ordinary permissions of a system to change, have traditionally been constructed with ļ¬...
182
click to vote
FLOPS
2004
Springer
15 years 12 months ago
2004
Springer
We propose a semantic framework for modelling the linear usage of continuations in typed call-by-name programming languages. On the semantic side, we introduce a construction for c...
169
click to vote
IFIP
2004
Springer
15 years 11 months ago
2004
Springer
The most studied property, secrecy, is not always suļ¬cient to prove the security of a protocol. Other properties such as anonymity, privacy or opacity could be useful. Here, we u...
161
click to vote
MOZ
2004
Springer
15 years 11 months ago
2004
Springer
Strasheela provides a means for the composer to create a symbolic score by formally describing it in a rule-based way. The environment deļ¬nes a rich music representation for comp...