10159 search results - page 203 / 2032 » System Design Validation Using Formal Models |
129
click to vote
APN
2010
Springer
15 years 7 months ago
2010
Springer
Service-oriented computing proposes services as building blocks which can be composed to complex systems. To reason about the correctness of a service, its communication protocol n...
191
Voted
FASE
2004
Springer
15 years 6 months ago
2004
Springer
Real-Time Maude is a language and tool supporting the formal specification and analysis of real-time and hybrid systems. The specification formalism is based on rewriting logic, em...
126
click to vote
SACMAT
2009
ACM
15 years 7 months ago
2009
ACM
The role-based access control (RBAC) model has proven to be cost effective to reduce the complexity and costs of access permission management. To maximize the advantages offered...
144
Voted
FMCAD
2008
Springer
15 years 4 months ago
2008
Springer
el Sequential Memory Abstraction for Model Checking Per Bjesse Advanced Technology Group Synopsys Inc. Many designs intermingle large memories with wide data paths and nontrivial c...
145
Voted
ZUM
2005
Springer
15 years 8 months ago
2005
Springer
Abstract. We present a new methodology that permits to reuse an existing hardware component that has not been developed within the B framework while maintaining a correct design ï¬...