5451 search results - page 178 / 1091 » Typed Operational Semantics |
126
click to vote
WISA
2007
Springer
15 years 10 months ago
2007
Springer
Multilevel security policies aim at only confidentiality assurance, with less consideration on integrity assurance and weakness in expressing channel control policies. Besides, the...
112
click to vote
GECCO
2003
Springer
15 years 9 months ago
2003
Springer
Abstract. To improve the efficiency of the currently known evolutionary algorithms, we have proposed two complementary efficiency speed-up strategies in our previous research work ...
107
click to vote
ECOOPW
1999
Springer
15 years 8 months ago
1999
Springer
Safe language technology can be used for protection within a single address space. This protection is enforced by the language’s type system, which ensures that references to obj...
121
click to vote
POS
1994
Springer
15 years 8 months ago
1994
Springer
nt systems support a single storage abstraction in which all data may be created and manipulated in a uniform manner, regardless of its longevity. In such systems a protection mec...
100
click to vote
ENTCS
2010
15 years 3 months ago
2010
We propose a formal framework for extending a class-based language, equipped with a given class composition mechanism, to allow programmers to define their own derived composition...