945 search results - page 64 / 189 » Posix: A Model for Future Computing |
118
click to vote
VSTTE
2005
Springer
15 years 9 months ago
2005
Springer
Abstract. We reflect on the formal development models applicable to embedded control systems in light of our experience with safety-critical applications from the aerospace domain....
111
click to vote
CHI
2004
ACM
16 years 4 months ago
2004
ACM
The goal of this research is to build and evaluate collaborative tools that persuade behavior change over a group of individuals. Preliminary work in this area is presented and fu...
144
click to vote
SI3D
1995
ACM
15 years 7 months ago
1995
ACM
A system for controlling the behaviors of an interactive human-like agent, and executing them in real-time, is presented. It relies on an underlying model of continuous behavior, ...
130
click to vote
ENTCS
2007
15 years 4 months ago
2007
We present the SQRAM architecture for quantum computing, which is based on Knill’s QRAM model. We detail a suitable instruction set, which implements a universal set of quantum ...
127
click to vote
HCI
2009
15 years 2 months ago
2009
Task forces of expert knowledge workers would benefit from more advanced web tools supporting activity awareness and social sensemaking. This paper proposes the design of a task fo...