6583 search results - page 1026 / 1317 » Semantic Analysis Patterns |
160
click to vote
TVCG
2012
13 years 7 months ago
2012
—This paper presents a 2D flow visualization user study that we conducted using new methodologies to increase the objectiveness. We evaluated grid-based variable-size arrows, eve...
163
click to vote
KDD
2005
ACM
16 years 5 months ago
2005
ACM
Web object is defined to represent any meaningful object embedded in web pages (e.g. images, music) or pointed to by hyperlinks (e.g. downloadable files). Users usually search for...
242
click to vote
POPL
2006
ACM
16 years 5 months ago
2006
ACM
This article investigates formal properties of a family of semantically sound flow-sensitive type systems for tracking information flow in simple While programs. The family is ind...
269
click to vote
POPL
2004
ACM
16 years 5 months ago
2004
ACM
We show how some classical static analyses for imperative programs, and the optimizing transformations which they enable, may be expressed and proved correct using elementary logi...
143
click to vote
PLDI
2009
ACM
15 years 11 months ago
2009
ACM
Modern websites are powered by JavaScript, a flexible dynamic scripting language that executes in client browsers. A common paradigm in such websites is to include third-party Ja...