5227 search results - page 947 / 1046 » Constructing New Media |
146
click to vote
CHI
2006
ACM
16 years 7 months ago
2006
ACM
For the majority of us, inter-personal communication is an essential part of our daily lives. Instant Messaging, or IM, has been growing in popularity for personal and workrelated...
191
click to vote
CHI
2001
ACM
16 years 7 months ago
2001
ACM
While predictions abound that electronic books will supplant traditional paper-based books, many people bemoan the coming loss of the book as cultural artifact. In this project we...
291
click to vote
POPL
2007
ACM
16 years 7 months ago
2007
ACM
Concurrent ML (CML) is a statically-typed higher-order concurrent language that is embedded in Standard ML. Its most notable feature is its support for first-class synchronous ope...
307
click to vote
POPL
2007
ACM
16 years 7 months ago
2007
ACM
An invariance assertion for a program location is a statement that always holds at during execution of the program. Program invariance analyses infer invariance assertions that ca...
291
click to vote
POPL
2006
ACM
16 years 7 months ago
2006
ACM
Embedded code pointers (ECPs) are stored handles of functions and continuations commonly seen in low-level binaries as well as functional or higher-order programs. ECPs are known ...