4258 search results - page 418 / 852 » Languages and Interactive Software Development |
141
click to vote
EICS
2009
ACM
15 years 9 months ago
2009
ACM
The success of service-oriented computing has important implications on how people develop user interfaces. This paper discusses a method for supporting the development of interac...
121
click to vote
CHI
2009
ACM
16 years 5 months ago
2009
ACM
We focus on the creative use of paper in the music composition process, particularly the interaction between paper and end-user programming. When expressing musical ideas, compose...
168
click to vote
TON
2012
13 years 7 months ago
2012
—Multiparty interactive network applications such as teleconferencing, network gaming, and online trading are gaining popularity. In addition to end-to-end latency bounds, these ...
124
click to vote
IFIP
1999
Springer
15 years 9 months ago
1999
Springer
: The field of Virtual Environments (VEs) is rapidly evolving into a new means of communication and accessing information, likely to overcome many existent technologies. However, b...
145
click to vote
CSL
2004
Springer
15 years 8 months ago
2004
Springer
Using separation logic, this paper presents three Hoare logics (corresponding to different notions of correctness) for the simple While language extended with commands for heap acc...