1699 search results - page 323 / 340 » On the Expressive Power of QLTL |
VR
2002
IEEE
14 years 8 days ago
2002
IEEE
We present a novel class of virtual reality input devices that combine pop through buttons with 6 DOF trackers. Compared to similar devices that use conventional buttons, pop thro...
SIGMETRICS
2010
ACM
14 years 6 days ago
2010
ACM
A new generation of content delivery networks for live streaming, video on demand, and software updates takes advantage of a peer-to-peer architecture to reduce their operating co...
LCTRTS
2001
Springer
13 years 11 months ago
2001
Springer
1 COTS (commercial off-the-shelf) devices are capable of executing powerful, distributed algorithms. Very large, adaptive systems can be created by simply integrating these devices...
FCCM
2000
IEEE
13 years 11 months ago
2000
IEEE
Simplifying the programming models is paramount to the success of reconfigurable computing. We apply the principles of object-oriented programming to the design of stream archite...
ISORC
2000
IEEE
13 years 11 months ago
2000
IEEE
The Air Force has enthusiastically endorsed, at its most senior levels, advanced thinking with regard to the application of information technology. Recently, the notion of a Joint...