580 search results - page 11 / 116 » Expressive policy analysis with enhanced system dynamicity |
IEEEHPCS
2010
13 years 5 months ago
2010
Abstract—Many peer-to-peer file sharing communities implement credit policies to incentivise users to contribute upload resources. Such policies implicitly assume a user model -...
IJEB
2006
13 years 7 months ago
2006
: The paper analyses broadband diffusion from a multitude of angles. The main objective of the analysis is thus to investigate the reasons behind an adoption delay present in certa...
TASE
2008
IEEE
13 years 7 months ago
2008
IEEE
Maintaining an asset with life-limited parts, e.g., a jet engine or an electric generator, may be costly. Certain costs, e.g., setup cost, can be shared if some parts of the asset ...
ATAL
2009
Springer
14 years 2 months ago
2009
Springer
This paper describes Aerogility - an intelligent decision support system for managing service-based aftermarkets. Aerogility uses multi-agent software technology to implement a dy...
ASIAN
2009
Springer
13 years 5 months ago
2009
Springer
Abstract. Language-based information flow analysis is used to statically examine a program for information flows between objects of different security domains, and to verify these ...