Sciweavers

3255 search results - page 526 / 651
» Combination of Abstractions in the ASTR
Sort
View
ISSE
2006
13 years 10 months ago
Modeling security as a dependability attribute: a refinement-based approach
Abstract As distributed, networked computing systems become the dominant computing platform in a growing range of applications, they increase opportunities for security violations ...
Ali Mili, Frederick T. Sheldon, Lamia Labed Jilani...
JACIII
2006
114views more  JACIII 2006»
13 years 10 months ago
A Theoretical Formulation of Object-Oriented Rough Set Models
ata forms, and abstract structural hierarchy based on is-a relationship and has-a relationship. Object structures illustrate many kinds of objects and actual dependence among objec...
Yasuo Kudo, Tetsuya Murai
JSCIC
2008
129views more  JSCIC 2008»
13 years 10 months ago
Level Set Equations on Surfaces via the Closest Point Method
Abstract Level set methods have been used in a great number of applications in R2 and R3 and it is natural to consider extending some of these methods to problems defined on surfac...
Colin B. Macdonald, Steven J. Ruuth
JSCIC
2008
58views more  JSCIC 2008»
13 years 10 months ago
A Local Semi-Implicit Level-Set Method for Interface Motion
Abstract This paper proposes and implements a novel hybrid level set method which combines the numerical efficiency of the local level set approach with the temporal stability affo...
David Salac, Wei Lu
JCP
2006
100views more  JCP 2006»
13 years 10 months ago
Biometric Gait Authentication Using Accelerometer Sensor
Abstract-- This paper presents a biometric user authentication based on a person's gait. Unlike most previous gait recognition approaches, which are based on machine vision te...
Davrondzhon Gafurov, Kirsi Helkala, Torkjel S&osla...