Sciweavers

162 search results - page 25 / 33
» rules 1997
Sort
View
120
Voted
SP
1997
IEEE
134views Security Privacy» more  SP 1997»
15 years 4 months ago
A Logical Language for Expressing Authorizations
A major drawback of existing access control systems is that they have all been developed with a specific access control policy in mind. This means that all protection requirement...
Sushil Jajodia, Pierangela Samarati, V. S. Subrahm...
TOOLS
1997
IEEE
15 years 4 months ago
Mapping the OO-Jacobson Approach into Function Point Analysis
Function Point Analysis measures user requested functionality independent of the technology used for implementation. Software applications are represented stract model that contai...
T. Fetcke, A. Abran, T.-H. Nguyen
109
Voted
POPL
1997
ACM
15 years 4 months ago
Type-Checking Higher-Order Polymorphic Multi-Methods
We present a new predicative and decidable type system, called ML , suitable for languages that integrate functional programming and parametric polymorphism in the tradition of ML...
François Bourdoncle, Stephan Merz
94
Voted
APN
1997
Springer
15 years 4 months ago
Life-Cycle Inheritance: A Petri-Net-Based Approach
Abstract. Inheritance is one of the key issues of object-orientation. The inheritance mechanism allows for the definition of a subclass which inherits the features of a specific ...
Wil M. P. van der Aalst, Twan Basten
AVBPA
1997
Springer
100views Biometrics» more  AVBPA 1997»
15 years 4 months ago
Using Gait as a Biometric, via Phase-weighted Magnitude Spectra
Gait is a biometric which is subject to increasing interest. Current approaches include modelling gait as a spatio-temporal sequence and as an articulated model. By considering leg...
David Cunado, Mark S. Nixon, John N. Carter