6187 search results - page 185 / 1238 » Voices from the Interface |
175
click to vote
OSDI
2006
ACM
16 years 6 months ago
2006
ACM
In current commodity systems, applications have no way of limiting their trust in the underlying operating system (OS), leaving them at the complete mercy of an attacker who gains...
276
click to vote
SIGMOD
2007
ACM
16 years 6 months ago
2007
ACM
We present DaNaLIX, a prototype domain-adaptive natural language interface for querying XML. Our system is an extension of NaLIX, a generic natural language interface for querying...
161
click to vote
PLDI
2010
ACM
15 years 11 months ago
2010
ACM
Programming language specifications mandate static and dynamic analyses to preclude syntactic and semantic errors. Although individual languages are usually well-specified, comp...
165
click to vote
ENTCS
2007
15 years 6 months ago
2007
This paper promotes compositional reasoning in the context of safety-critical systems, and demonstrates a safety-oriented component model using an application from the automotive ...
199
click to vote
IJMMS
2007
15 years 6 months ago
2007
The investigation of innovative Human–Computer Interfaces (HCI) provides a challenge for future interaction research and development. Brain–Computer Interfaces (BCIs) exploit ...