9110 search results - page 326 / 1822 » Formally-Based Design Evaluation |
213
click to vote
GECCO
2010
Springer
15 years 11 months ago
2010
Springer
Evolutionary methods have been used to repair programs automatically, with promising results. However, the fitness function used to achieve these results was based on a few simpl...
208
click to vote
INFOCOM
2009
IEEE
16 years 1 months ago
2009
IEEE
—Increasingly wireless networks use multi-antenna nodes as in IEEE 802.11n and 802.16. The Physical layer (PHY) in such systems may use the antennas to provide multiple streams o...
222
click to vote
HCI
2011
14 years 10 months ago
2011
BrailleTouch is an eyes-free text entry application for mobile devices. Currently, there exist a number of hardware and software solutions for eyes-free text entry. Unfortunately, ...
149
click to vote
IPPS
2007
IEEE
16 years 28 days ago
2007
IEEE
Dependability evaluation is an important, often indispensable, step in (critical) systems design and analysis pro
147
click to vote
INTERACT
2007
15 years 8 months ago
2007
: The goal of our project is to design and evaluate an awareness system that supports handling interruptions for both interruption actors: interruptees and interruptors.