1163 search results - page 191 / 233 » Case Studies of Model Checking for Embedded System Designs |
110
click to vote
CASES
2003
ACM
15 years 7 months ago
2003
ACM
Reducing the power consumption of computing devices has gained a lot of attention recently. Many research works have focused on reducing power consumption in the off-chip buses as...
147
click to vote
JUCS
2008
15 years 1 months ago
2008
: In a component-based development process the selection of components is an activity that takes place over multiple lifecycle phases that span from requirement specifications thro...
144
click to vote
ICMI
2003
Springer
15 years 7 months ago
2003
Springer
Many user interfaces, from graphic design programs to navigation aids in cars, share a virtual space with the user. Such applications are often ideal candidates for speech interfa...
136
Voted
CCE
2011
14 years 9 months ago
2011
Selective liquid membranes have been traditionally employed for liquid/liquid and gas/liquid mass transfer in a wide range of applications. In particular, the Emulsion Pertraction...
INFSOF
2006
15 years 1 months ago
2006
: Mass customization has become one of the key strategies for a service provider to differentiate itself from its competitors in a highly segmented global service market. This pape...