10159 search results - page 148 / 2032 » System Design Validation Using Formal Models |
103
click to vote
SUTC
2006
IEEE
15 years 8 months ago
2006
IEEE
In computer security, many researches have tackled on the possibility of a unified model of access control, which could enforce any access control policies within a single unified...
137
click to vote
CASES
2010
ACM
14 years 11 months ago
2010
ACM
Approximate arithmetic is a promising, new approach to lowenergy designs while tackling reliability issues. We present a method to optimally distribute a given energy budget among...
FDL
2004
IEEE
15 years 6 months ago
2004
IEEE
In this paper, we introduce a layout description and generation model, GBLD, based on the notions and elements of L-systems and context-free grammars. Our layout model is compatib...
130
click to vote
COMCOM
2007
15 years 2 months ago
2007
This paper studies the system parameters that affect the total cost of managing the multicast group on a router. A Petri net model is first proposed to describe the states and t...
121
click to vote
AIME
2003
Springer
15 years 7 months ago
2003
Springer
Abstract. Clinical protocols and guidelines have been used in the medical domain for some time now, primarily to reduce proneness to errors during the treatment of specific disease...