8644 search results - page 1449 / 1729 » On the Composition of Secure Systems |
167
click to vote
ATAL
2004
Springer
16 years 5 days ago
2004
Springer
The Grid and agent communities both develop concepts and mechanisms for open distributed systems, albeit from different perspectives. The Grid community has historically focused o...
209
click to vote
MATA
2004
Springer
16 years 4 days ago
2004
Springer
Distribution of product updates to embedded devices can increase product lifetimes for consumers and boost revenues for vendors. Dynamic provisioning of application solutions to e...
205
Voted
POLICY
2004
Springer
16 years 3 days ago
2004
Springer
Policy Based Management (PBM) is a research topic that has been driven by the tremendous complexity inherent in the administration and management of present-day networking and tel...
142
click to vote
HICSS
2003
IEEE
16 years 2 days ago
2003
IEEE
It is well known that given a network that can become constrained on voltage or real power flows, reserves must also be spatially located in order to handle all credible contingen...
209
Voted
LICS
2002
IEEE
15 years 11 months ago
2002
IEEE
Proof-Carrying Code (PCC) is a general framework for verifying the safety properties of machine-language programs. PCC proofs are usually written in a logic extended with language...