4693 search results - page 66 / 939 » Verifying Hybrid Systems |
122
click to vote
FASE
2010
Springer
14 years 10 months ago
2010
Springer
Role-based access control (RBAC) is a popular access control model for enterprise systems due to its economic benefit and scalability. There are many RBAC features available, each ...
113
Voted
GECCO
2004
Springer
15 years 6 months ago
2004
Springer
This paper discusses the performance of a hybrid system which consists of EDP and GP. EDP, Estimation of Distribution Programming, is the program evolution method based on the prob...
92
Voted
ICDAR
2003
IEEE
15 years 5 months ago
2003
IEEE
Authentication of individuals is rapidly becoming an important issue. On-line signature verification is one of the methods that use biometric features. This paper proposes a new H...
93
Voted
APSEC
1998
IEEE
15 years 4 months ago
1998
IEEE
In this paper we demonstrate how light weight tools can be used to increase the level of confidence in Z specifications. In particular we outline the Pipedream approach to explori...
118
Voted
POPL
2000
ACM
15 years 4 months ago
2000
ACM
Systems that authenticate a user based on a shared secret (such as a password or PIN) normally allow anyone to query whether the secret is a given value. For example, an ATM machi...