3147 search results - page 466 / 630 » Open-Source Model Checking |
178
click to vote
ISORC
2008
IEEE
15 years 11 months 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...
171
click to vote
HICSS
2007
IEEE
15 years 11 months 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...
120
click to vote
IEEEPACT
2007
IEEE
15 years 11 months 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...
136
click to vote
IPPS
2007
IEEE
15 years 11 months 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...
178
click to vote
QEST
2007
IEEE
15 years 11 months ago
2007
IEEE
The paper introduces symbolic bisimulations for a simple probabilistic π-calculus to overcome the infinite branching problem that still exists in checking ground bisimulations b...