9267 search results - page 137 / 1854 » Expectation-Oriented Analysis and Design |
DBSEC
2009
13 years 10 months ago
2009
Abstract. Identifying and protecting the trusted computing base (TCB) of a system is an important task, which is typically performed by designing and enforcing a system security po...
CORR
2007
Springer
13 years 9 months ago
2007
Springer
This paper considers a developing theory on the effects of inevitable process variations during the fabrication of MEMS and other microsystems. The effects on the performance and ...
FUIN
2008
13 years 9 months ago
2008
Reachability analysis is one of the most successful methods used in design and validation of protocols for classical communication, whereas the predicate/transition-net formalism i...
APSEC
2004
IEEE
14 years 25 days ago
2004
IEEE
Architecture frameworks are methods used in architecture modeling. They provide a structured and systematic approach to designing systems. To date there has been little analysis o...
WSC
2004
13 years 10 months ago
2004
A critical aspect of semiconductor manufacturing is the design and analysis of material handling and production control polices to optimize fab performance. As wafer sizes have in...