5096 search results - page 733 / 1020 » Associations as a Language Construct |
190
click to vote
SAC
2004
ACM
16 years 2 days ago
2004
ACM
The purpose of this paper is to investigate the use of a new concept in component communication, expressed by the channel based coordination language called ρέω, in the coordina...
165
click to vote
ESORICS
2004
Springer
16 years 1 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 ...
148
click to vote
EWSA
2004
Springer
16 years 1 days ago
2004
Springer
Abstract. Software architectures are engineering artifacts which provide high-level descriptions of complex systems. Certain recent architecture description languages (Adls) allow ...
186
click to vote
FLOPS
2004
Springer
16 years 1 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...
159
click to vote
FORMATS
2004
Springer
16 years 1 days ago
2004
Springer
Abstract. We extend Angluin’s algorithm for on-line learning of regular languages to the setting of timed systems. We consider systems that can be described by a class of determi...