4592 search results - page 709 / 919 » Framework for Studying Substitution |
128
click to vote
APSEC
2008
IEEE
15 years 2 months ago
2008
IEEE
Reactive systems are often described by interconnecting sub-components along architectural connectors defining communication policies. Generally, such global systems may exhibit p...
105
click to vote
GLVLSI
2010
IEEE
15 years 2 months ago
2010
IEEE
This paper describes a physics-based semi-analytical model for Schottky-barrier carbon nanotube (CNT) and graphene nanoribbon (GNR) transistors. The model includes the treatment o...
115
Voted
ATAL
2008
Springer
15 years 2 months ago
2008
Springer
Crowd simulation models are currently lacking a commonly accepted validation method. In this paper, we propose level of presence achieved by a human in a virtual environment (VE) ...
116
click to vote
BPM
2008
Springer
15 years 2 months ago
2008
Springer
Complex and flexible business processes are critical not only because they are difficult to handle, but also because they often tend to loose their intelligibility. Verifying compl...
95
Voted
CASES
2008
ACM
15 years 2 months ago
2008
ACM
Power, energy, and thermal concerns have constrained embedded systems designs. Computing capability and storage density have increased dramatically, enabling the emergence of hand...