396 search results - page 33 / 80 » Generalizing Parametricity Using Information-flow |
EUROSPI
2008
Springer
13 years 11 months ago
2008
Springer
Pre-development in the automotive sector is informally organized to support the engineers trying out new ideas and generally being creative. If feasibility studies reveal system�...
ATAL
2010
Springer
13 years 10 months ago
2010
Springer
The Intelligent Decentralised Energy-Aware Systems (iDEaS) project at the University of Southampton (see www.ideasproject.info) is developing and demonstrating the application of ...
SIGCOMM
2010
ACM
13 years 9 months ago
2010
ACM
Capabilities provide an access control model that can be used to construct systems where safety of protection can be precisely determined. However, in order to be certain of the s...
CDC
2010
IEEE
13 years 4 months ago
2010
IEEE
In this paper we consider the problem of gossiping in a network to diffuse the average of a sub-set of nodes, called sources, and directing it to another sub-set of nodes in the ne...
PLDI
2012
ACM
11 years 11 months ago
2012
ACM
We propose a new language-based approach to mitigating timing channels. In this language, well-typed programs provably leak only a bounded amount of information over time through ...