6555 search results - page 1040 / 1311 » Secure attribute-based systems |
203
click to vote
MATA
2004
Springer
15 years 12 months 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...
197
click to vote
POLICY
2004
Springer
15 years 12 months 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...
138
click to vote
HICSS
2003
IEEE
15 years 12 months 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...
203
click to vote
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...
159
click to vote
RE
2001
Springer
15 years 11 months ago
2001
Springer
Diverse uses of information technology (IT) in organizations affect privacy. Developers of electronic commerce, database management, security mechanisms, telecommunication and col...