3516 search results - page 163 / 704 » Integrating Security Modeling into Embedded System Design |
129
Voted
SAMOS
2005
Springer
15 years 8 months ago
2005
Springer
An analytical performance model for out of order issue superscalar micro-processors is presented. This model quantifies the performance impacts of micro-architecture design option...
146
click to vote
ER
1999
Springer
15 years 7 months ago
1999
Springer
Abstract. The process industries (chemicals, food, oil, ...) are characterized by - continuous or batch -- processes of material transformation. The design of such processes, and t...
163
Voted
AVI
2006
15 years 4 months ago
2006
In previous work, we proposed ValueCharts, a set of visualizations and interactive techniques to support the inspection of linear models of preferences. We now identify the need t...
126
Voted
APSEC
2005
IEEE
15 years 9 months ago
2005
IEEE
This paper presents a framework to specify and verify integrated services of a home network system (HNS). We first develop a modeling language to describe the HNS and the integra...
139
click to vote
CORR
2007
Springer
15 years 3 months ago
2007
Springer
This paper presents an interaction model adapted to mixed reality environments known as IRVO (Interacting with Real and Virtual Objects). IRVO aims at modeling the interaction bet...