3440 search results - page 544 / 688 » Logics For Context-Free Languages |
196
click to vote
DEXA
2004
Springer
16 years 12 days 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 ...
176
click to vote
ESORICS
2004
Springer
16 years 11 days 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 ļ¬...
197
Voted
FLOPS
2004
Springer
16 years 11 days 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...
182
Voted
IFIP
2004
Springer
16 years 11 days 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...
177
Voted
MOZ
2004
Springer
16 years 10 days 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...