1115 search results - page 185 / 223 » An Abstract Look at Realizability |
TCIAIG
2010
13 years 3 months ago
2010
In this paper, we present the design, implementation, and evaluation of an end-to-end camera planning system called Darshak. Darshak automatically constructs cinematic narrative di...
TOPNOC
2010
13 years 3 months ago
2010
Abstract. Contemporary workflow management systems offer workitems to users through specific work-lists. Users select the work-items they will perform without having a specific sch...
TWC
2010
13 years 3 months ago
2010
Abstract--Free-space optical (FSO) transmission systems enable high-speed communication with relatively small deployment costs. However, FSO suffers a critical disadvantage, namely...
VR
2011
IEEE
13 years 11 days ago
2011
IEEE
Abstract This paper presents Limpid Desk, which supports document search on a physical desktop by making the upper layer of a document stack transparent in a projection-based mixed...
CTRSA
2011
Springer
13 years 6 days ago
2011
Springer
Abstract. Many real-world protocols, such as SSL/TLS, SSH, IPsec, IEEE 802.11i, DNSSEC, and Kerberos, derive new keys from other keys. To be able to analyze such protocols in a com...