1890 search results - page 57 / 378 » Model-Based Testing in Practice |
120
Voted
CORR
2008
Springer
15 years 2 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...
107
click to vote
RE
2008
Springer
15 years 2 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...
145
Voted
ACSAC
2009
IEEE
15 years 11 days 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...
131
Voted
CVPR
2011
IEEE
14 years 10 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 ...
109
click to vote
PRIS
2004
15 years 3 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...