2255 search results - page 200 / 451 » High Assurance Software Systems |
149
click to vote
AVI
2008
15 years 8 months ago
2008
Tagging systems such as del.icio.us and Diigo have become important ways for users to organize information gathered from the Web. However, despite their popularity among early ado...
152
click to vote
ICALT
2009
IEEE
16 years 1 months ago
2009
IEEE
While argumentation is highly important for humans in many different aspects of life, it is hard to teach large groups to argue. Classic face-to-face approaches, which have shown ...
172
click to vote
AINA
2007
IEEE
16 years 25 days ago
2007
IEEE
— Typical embedded systems must perform rather complex control and communication tasks with severely restricted computing resources. Due to these contraints most systems are sing...
199
click to vote
CCGRID
2006
IEEE
16 years 16 days ago
2006
IEEE
As the scale is expanding, node failure becomes a commonplace feature of large-scale cluster systems. As an important part of cluster operating system software, job scheduling tak...
156
click to vote
IUI
2009
ACM
16 years 3 months ago
2009
ACM
We present Parakeet, a system for continuous speech recognition on mobile touch-screen devices. The design of Parakeet was guided by computational experiments and validated by a u...