3255 search results - page 436 / 651 » Combination of Abstractions in the ASTR |
156
click to vote
ECEASST
2008
15 years 6 months ago
2008
Abstract: The diagram editor generator framework DIAMETA utilizes meta-modelbased language specifications and supports free-hand as well as structured editing. In this paper we pre...
140
click to vote
CORR
2006
Springer
15 years 6 months ago
2006
Springer
Abstract. We consider the interpretations of notions of access control (permissions, interdictions, obligations, and user rights) as run-time properties of information systems spec...
160
click to vote
CORR
2006
Springer
15 years 6 months ago
2006
Springer
Abstract--This paper examines the performance of decisionfeedback-based iterative channel estimation and multiuser detection in channel coded aperiodic direct sequence code divisio...
185
click to vote
ENTCS
2007
15 years 6 months ago
2007
Bialgebraic semantics, invented a decade ago by Turi and Plotkin, is an approach to formal reasoning about well-behaved structural operational specifications. An extension of alg...
133
click to vote
ENTCS
2007
15 years 6 months ago
2007
We study, from the expressiveness point of view, the impact of synchrony in the communication primitives that arise when combining together some common and useful programming feat...