9110 search results - page 204 / 1822 » Formally-Based Design Evaluation |
151
click to vote
MHCI
2009
Springer
16 years 20 days ago
2009
Springer
This paper discusses the concept of using head and facial feature tracking as an input mechanism for mobile devices. We present our concept and ideas, along with preliminary findi...
159
click to vote
NICSO
2010
Springer
16 years 18 days ago
2010
Springer
We investigate the search properties of pre-evolutionary random catalytic reaction networks, where reactions might be reversible, and replication is not taken for granted. Since it...
141
click to vote
DATE
2007
IEEE
16 years 13 days ago
2007
IEEE
Lasers can be used by hackers to situations to inject faults in circuits and induce security flaws. On-line detection mechanisms are classically proposed to counter such attacks, ...
154
click to vote
VTC
2007
IEEE
16 years 11 days ago
2007
IEEE
—Communication between cars can be exploited for various applications. Security enhancements as well as interactive games played by occupants of different cars are only two examp...
157
Voted
PVM
2007
Springer
16 years 6 days ago
2007
Springer
Open MPI was initially designed to support a wide variety of high-performance networks and network programming interfaces. Recently, Open MPI was enhanced to support networks that ...