15792 search results - page 99 / 3159 » Computational Abstraction Steps |
ECOOPW
1999
Springer
14 years 1 months ago
1999
Springer
This paper formalizes the folklore result that strongly-typed applets are more secure than untyped ones. We formulate and prove several security properties that all well-typed app...
ECOOPW
1997
Springer
14 years 1 months ago
1997
Springer
Abstract. Current interface descriptions are poor in describing components, because they only provide an external view on a component and they do not lay down how components intera...
GD
1994
Springer
14 years 1 months ago
1994
Springer
Abstract. Concept lattices are used in formal concept analysis to represent data conceptually so that the original data are still recognizable. Their line diagrams should re ect th...
EUROPAR
2007
Springer
14 years 1 months ago
2007
Springer
Abstract. Total Exchange is one of the most important collective communication patterns for scientific applications. In this paper we propose an algorithm called LG for the total e...
CADE
1998
Springer
14 years 25 days ago
1998
Springer
Abstract. The rank/activity restriction on binary resolution is introduced. It accepts only a single derivation tree from a large equivalence class of such trees. The equivalence c...