3255 search results - page 418 / 651 » Combination of Abstractions in the ASTR |
172
click to vote
WCRE
1999
IEEE
15 years 11 months ago
1999
IEEE
Atomic components are sets of related variables, types, rograms, e.g., abstract data types and objects. Many techniques exist to detect them automatically. However, as an evaluati...
210
click to vote
CSFW
2007
IEEE
15 years 10 months ago
2007
IEEE
Noninterference is typically used as a baseline security policy to formalize confidentiality of secret information manipulated by a program. In contrast to static checking of noni...
203
Voted
ECMDAFA
2007
Springer
15 years 10 months ago
2007
Springer
Abstract. This paper presents a method to describe the operational semantics of languages based on their meta-model. We combine the established high-level modelling languages MOF, ...
156
Voted
WCNC
2010
IEEE
15 years 10 months ago
2010
IEEE
Abstract—Hierarchical macro/femto-cell networks are considered as a promising technology for the improvement of indoor coverage and network capacity. In these emerging networks, ...
160
Voted
SAS
1997
Springer
15 years 10 months ago
1997
Springer
is an important optimization for programs that use procedural abstraction. Because inlining trades code size for execution speed, the effectiveness of an inlining algorithm is det...