1511 search results - page 292 / 303 » Relational Parametricity for Computational Effects |
150
click to vote
SP
2010
IEEE
15 years 1 months ago
2010
IEEE
A program is defined to be noninterferent if its outputs cannot be influenced by inputs at a higher security level than their own. Various researchers have demonstrated how this pr...
174
Voted
FCSC
2010
15 years 1 months ago
2010
Graphical models have become the basic framework for topic based probabilistic modeling. Especially models with latent variables have proved to be effective in capturing hidden str...
204
click to vote
ASPLOS
2012
ACM
13 years 11 months ago
2012
ACM
Effective resource management of virtualized environments is a challenging task. State-of-the-art management systems either rely on analytical models or evaluate resource allocati...
242
click to vote
ICDE
2008
IEEE
16 years 5 months ago
2008
IEEE
Data sources on the web are often accessible through web interfaces that present them as relational tables, but require certain attributes to be mandatorily selected, e.g., via a w...
144
click to vote
ICALP
2009
Springer
16 years 4 months ago
2009
Springer
The notion of distributed functional monitoring was recently introduced by Cormode, Muthukrishnan and Yi [CMY08] to initiate a formal study of the communication cost of certain fu...