1890 search results - page 57 / 378 » Model-Based Testing in Practice |
CORR
2008
Springer
14 years 12 months ago
2008
Springer
This article introduces a fully automated verification technique that permits to analyze real-time systems described using a continuous notion of time and a mixture of operational...
RE
2008
Springer
14 years 11 months ago
2008
Springer
U.S. laws and regulations are designed to support broad societal goals, such as accessibility, privacy and safety. To demonstrate that a product complies with these goals, busines...
120
click to vote
ACSAC
2009
IEEE
14 years 9 months ago
2009
IEEE
Abstract--Role based access control (RBAC) is a powerful security administration concept that can simplify permission assignment management. Migration to and maintenance of RBAC re...
105
click to vote
CVPR
2011
IEEE
14 years 8 months ago
2011
IEEE
A practical lipreading system can be considered either as subject dependent (SD) or subject-independent (SI). An SD system is user-specific, i.e., customized for some particular ...
PRIS
2004
15 years 1 months ago
2004
Several authors have theoretically determined distribution-free bounds on sample complexity. Formulas based on several learning paradigms have been presented. However, little is kn...