281 search results - page 31 / 57 » A formal framework for compositional compilation |
100
Voted
IPPS
2002
IEEE
15 years 5 months ago
2002
IEEE
Researchers are currently investigating applying benefit, or utility functions for allocating resources in limited, soft real time systems [1,2,3]. While the future of real -time ...
107
Voted
PODS
2012
ACM
13 years 3 months ago
2012
ACM
In this paper we introduce a new and general privacy framework called Pufferfish. The Pufferfish framework can be used to create new privacy definitions that are customized t...
148
Voted
DILS
2004
Springer
15 years 4 months ago
2004
Springer
Abstract. Ecologists spend considerable effort integrating heterogeneous data for statistical analyses and simulations, for example, to run and test predictive models. Our research...
108
click to vote
WWW
2004
ACM
16 years 1 months ago
2004
ACM
The World Wide Web is emerging not only as an infrastructure for data, but also for a broader variety of resources that are increasingly being made available as Web services. Rele...
103
click to vote
FM
2008
Springer
15 years 2 months ago
2008
Springer
Abstract. Information assurance applications built according to the MILS (Multiple Independent Levels of Security) architecture often contain information flow policies that are con...