9626 search results - page 1328 / 1926 » Invariant Based Programming |
226
click to vote
ICMI
2003
Springer
16 years 12 days 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...
200
click to vote
DATE
2010
IEEE
16 years 8 days ago
2010
IEEE
Modern FPGAs have been designed with advanced integrated circuit techniques that allow high speed and low power performance, joined to reconfiguration capabilities. This makes new...
234
click to vote
CLOUD
2010
ACM
16 years 8 days ago
2010
ACM
Parallel dataflow programs generate enormous amounts of distributed data that are short-lived, yet are critical for completion of the job and for good run-time performance. We ca...
171
click to vote
EICS
2010
ACM
16 years 8 days ago
2010
ACM
Paper remains a prevalent medium in mobile usage contexts due to its inherent flexibility and robustness. Mobile computing solutions begin to provide powerful and convenient func...
169
click to vote
DSN
2000
IEEE
15 years 11 months ago
2000
IEEE
We describe an methodology for testing a software system for possible security flaws. Based on the observation that most security flaws are caused by the program’s inappropria...