2872 search results - page 418 / 575 » On (Omega-)Regular Model Checking |
155
click to vote
KI
2009
Springer
16 years 29 days ago
2009
Springer
Many practical optimization problems are constrained black boxes. Covariance Matrix Adaptation Evolution Strategies (CMA-ES) belong to the most successful black box optimization me...
204
click to vote
ISORC
2008
IEEE
16 years 24 days ago
2008
IEEE
In this paper, a Role-based Access Control (RBAC) model is applied and extended to a multimedia version called Multi-Role Based Access Control (MRBAC), which can fully support the...
194
click to vote
HICSS
2007
IEEE
16 years 22 days ago
2007
IEEE
This paper presents a graph transformation based approach to design pattern evolution. An evolution of a design pattern includes modifications of pattern elements, such as classes...
143
click to vote
IEEEPACT
2007
IEEE
16 years 21 days ago
2007
IEEE
The process of verifying a new microprocessor is a major problem for the computer industry. Currently, architects design processors to be fast, power-efficient, and reliable. Howe...
157
click to vote
IPPS
2007
IEEE
16 years 21 days ago
2007
IEEE
This paper investigates the suitability of applying the general-purpose Real-Time Maude tool to the formal specification and model checking analysis of timedependent cryptographi...