19367 search results - page 3484 / 3874 » Fine-Grain Process Modelling |
173
click to vote
APSEC
2008
IEEE
15 years 8 months ago
2008
IEEE
Formal verification of Function Block Diagram (FBD) based software is an essential task when replacing traditional relay-based analog system with PLC-based software in nuclear rea...
193
click to vote
ASPDAC
2008
ACM
15 years 8 months ago
2008
ACM
- With the increasing levels of variability in the behavior of manufactured nano-scale devices and dramatic changes in the power density on a chip, timely identification of hot spo...
207
click to vote
HAIS
2010
Springer
15 years 8 months ago
2010
Springer
Energy efficiency represents one of the main challenges in the engineering field, i.e., by means of decreasing the energy consumption due to a better design minimising the energy ...
168
click to vote
ATAL
2008
Springer
15 years 8 months ago
2008
Springer
To create realistic and expressive virtual humans, we need to develop better models of the processes and dynamics of human emotions and expressions. A first step in this effort is...
181
click to vote
ATAL
2008
Springer
15 years 8 months ago
2008
Springer
We discuss the design of the Intermediary Agent's brain, the control module of an embodied conversational virtual peer in a simulation game aimed at providing learning experi...