1329 search results - page 106 / 266 » Semantics of Architectural Connectors |
ECAI
1994
Springer
14 years 2 months ago
1994
Springer
This paper presents a lexical model dedicated to the semantic representation and interpretation of individual words in unrestricted text, where sense discrimination is difficult t...
AOSD
2007
ACM
14 years 2 months ago
2007
ACM
Most approaches to programming language extensibility have worked by pairing syntactic extension with semantic extension. We present an approach that works through a combination o...
SIGMETRICS
1995
ACM
14 years 1 months ago
1995
ACM
Talisman is a simulator that models the execution semantics and timing of a multicomputer. Talisman is unique in combining high semantic accuracy, high timing accuracy, portabilit...
JLP
2006
13 years 10 months ago
2006
In this paper, we develop a theory of modular design and refinement of hierarchical hybrid systems. In particular, we present compositional trace-based semantics for the language ...
JSW
2007
13 years 10 months ago
2007
Abstract— In highly open systems like the Internet, attributebased access control (ABAC) has proven its appropriateness. This is reflected in the utilization of ABAC in authenti...