5639 search results - page 898 / 1128 » Timed Abstract Non-interference |
143
click to vote
PATMOS
2000
Springer
15 years 6 months ago
2000
Springer
Abstract. Reduction of chip packaging and cooling costs for deep sub-micron SystemOn-Chip (SOC) designs is an emerging issue. We present a simulation-based methodology able to real...
130
click to vote
RSCTC
2000
Springer
15 years 6 months ago
2000
Springer
Abstract. Classic parsing methods are based on complete search techniques to find the different interpretations of a sentence. However, the size of the search space increases expon...
108
click to vote
COMPGEOM
1995
ACM
15 years 6 months ago
1995
ACM
Abstract. We show that there is a matching between the edges of any two triangulations of a planar point set such that an edge of one triangulation is matched either to the identic...
122
Voted
ICANN
1997
Springer
15 years 6 months ago
1997
Springer
Abstract. In this paper we compare two methods for intrinsic dimensionality (ID) estimation based on optimally topology preserving maps (OTPMs). The rst one is a direct approach, w...
110
click to vote
DOOD
1995
Springer
15 years 6 months ago
1995
Springer
Abstract. A simple model for method-based authorization is defined and an algorithm is presented for testing in compile-time whether a given database schema violates authorization...