1023 search results - page 195 / 205 » Model Checking: Software and Beyond |
124
click to vote
IJMMS
2007
15 years 1 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 ...
148
click to vote
TKDE
2012
13 years 3 months ago
2012
Abstract—This paper introduces a knowledge-driven approach to real-time, continuous activity recognition based on multisensor data streams in smart homes. The approach goes beyon...
197
click to vote
POPL
2005
ACM
16 years 1 months ago
2005
ACM
A lightweight logical approach to race-free sharing of heap storage between concurrent threads is described, based on the notion of permission to access. Transfer of permission be...
133
click to vote
WISE
2009
Springer
15 years 10 months ago
2009
Springer
ct One significant effort towards combining the virtues of Web search, viz. being accessible to untrained users and able to cope with vastly heterogeneous data, with those of dat...
119
click to vote
SACMAT
2005
ACM
15 years 7 months ago
2005
ACM
It has been recognized for some time that software alone does not provide an adequate foundation for building a high-assurance trusted platform. The emergence of industry-standard...