10159 search results - page 277 / 2032 » System Design Validation Using Formal Models |
136
click to vote
JCS
2008
15 years 3 months ago
2008
We present a framework for evaluating and generating access control policies. The framework contains a modelling formalism called RW, which is supported by a model checking tool. ...
122
click to vote
CHI
1994
ACM
15 years 7 months ago
1994
ACM
rom abstract objects like user tasks. ost interface development problems can be traced to two sources: the need for usercentered design environments and the lack of software system...
156
Voted
APN
1992
Springer
15 years 7 months ago
1992
Springer
The use of different High-level Petri net formalisms has made it possible to create Petri net models of large systems. Even though the use of such models allows the modeller to cr...
143
Voted
TACAS
2012
Springer
13 years 11 months ago
2012
Springer
Today’s Internet interdomain routing protocol, the Border Gateway Protocol (BGP), is increasingly complicated and fragile due to policy misconfigurations by individual autonomou...
128
click to vote
TCAD
2002
15 years 3 months ago
2002
With the advent of system-on-a-chip design, many application specific integrated circuits (ASICs) now require multiple design clocks that operate asynchronously to each other. This...