3319 search results - page 523 / 664 » Subshifts, Languages and Logic |
DEXA
2004
Springer
14 years 3 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 ...
ESORICS
2004
Springer
14 years 3 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 ļ¬...
FLOPS
2004
Springer
14 years 3 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...
IFIP
2004
Springer
14 years 3 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...
MOZ
2004
Springer
14 years 3 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...