4258 search results - page 442 / 852 » Languages and Interactive Software Development |
146
click to vote
VL
2009
IEEE
15 years 11 months ago
2009
IEEE
Transferring data across applications is a common end user task, and copying and pasting via the clipboard lets users do so relatively easily. Using the clipboard, however, can al...
146
click to vote
POLICY
2007
Springer
15 years 11 months ago
2007
Springer
—There is increasing demand for running interacting applications in a secure and controllable way on mobile devices. Such demand is not fully supported by the Java/.NET security ...
143
Voted
CASSIS
2005
Springer
15 years 10 months ago
2005
Springer
Abstract. Abstract interpretation is a particularly well-suited methodology to build modular correctness proof of static analysers. Proof modularity becomes essential when correctn...
146
click to vote
W4A
2010
ACM
15 years 2 months ago
2010
ACM
The ACAV project aims to explore how the accessibility of web videos can be improved by providing rich descriptions of video content in order to personalize the rendering of the c...
143
click to vote
LCTRTS
2010
Springer
15 years 11 months ago
2010
Springer
In this paper, we present a novel system modeling language which targets primarily the development of source-level multiprocessor memory aware optimizations. In contrast to previo...