Sciweavers

2370 search results - page 419 / 474
» On the Revival of Dynamic Languages
Sort
View
114
Voted
CCIA
2009
Springer
15 years 1 months ago
Seeking Acronym Definitions: a Web-based Approach
Acronyms are widely used in many domains to abbreviate and stress important concepts. Due to its dynamicity and unbounded nature, manual attempts to compose a global scale reposito...
David Sánchez, David Isern
139
Voted
CCS
2010
ACM
15 years 27 days ago
An empirical study of privacy-violating information flows in JavaScript web applications
The dynamic nature of JavaScript web applications has given rise to the possibility of privacy violating information flows. We present an empirical study of the prevalence of such...
Dongseok Jang, Ranjit Jhala, Sorin Lerner, Hovav S...
128
Voted
AUTOMATICA
2008
154views more  AUTOMATICA 2008»
15 years 25 days ago
Approximately bisimilar symbolic models for nonlinear control systems
Control systems are usually modeled by differential equations describing how physical phenomena can be influenced by certain control parameters or inputs. Although these models ar...
Giordano Pola, Antoine Girard, Paulo Tabuada
96
Voted
CORR
2008
Springer
143views Education» more  CORR 2008»
15 years 24 days ago
A Type System for Data-Flow Integrity on Windows Vista
The Windows Vista operating system implements an interesting model of multi-level integrity. We observe that in this model, trusted code must participate in any information-flow a...
Avik Chaudhuri, Prasad Naldurg, Sriram K. Rajamani
123
Voted
DEBU
2008
187views more  DEBU 2008»
15 years 23 days ago
Social SQL: Tools for Exploring Social Databases
Social media are constructed from the collective contributions of potentially millions of individuals and present an increasingly common and large scale form of database. As these...
Marc A. Smith, Vladimir Barash