1280 search results - page 190 / 256 » Soft Typing with Conditional Types |
DOOD
1995
Springer
14 years 20 days 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...
KDD
1997
ACM
14 years 20 days ago
1997
ACM
This paper presents an autonomous algorithm for discovering exception rules from data sets. An exception rule, which is defined as a deviational pattern to a well-known fact, exhi...
SIGCOMM
1991
ACM
14 years 19 days ago
1991
ACM
One of the most compelling long term problems facing the IP and emerging 0S1 Internet is growth, At the same time, policy routing-the ability of a packet source to determine the t...
SCA
2007
13 years 11 months ago
2007
To animate a character, a number of poses are displayed in quick succession in order to create the illusion of motion. For most real-time applications, such as games, the pose upd...
ATAL
2008
Springer
13 years 11 months ago
2008
Springer
Fully autonomous vehicles promise enormous gains in safety, efficiency, and economy. Before such gains can be realized, safety and reliability concerns must be addressed. We have ...