382 search results - page 37 / 77 » Static Type-Inference for Trust in Distributed Information S... |
ESOP
2006
Springer
13 years 11 months ago
2006
Springer
Language-based information-flow analysis is promising in protecting data confidentiality. Although much work has been carried out in this area, relatively little has been done for ...
SDMW
2005
Springer
14 years 1 months ago
2005
Springer
In this paper we present our authorization framework that supports the dynamic set-up of Web service federations for sharing data within virtual federations. Building on previous w...
ADVIS
2004
Springer
14 years 1 months ago
2004
Springer
In this paper, a practical and secure e-mail system (called “PractiSES”) that performs public key distribution and management in a unique way is proposed. PractiSES is a networ...
IPPS
2000
IEEE
14 years 1 days ago
2000
IEEE
HeteroSort load balances and sorts within static or dynamic networks using a conceptual torus mesh. We ported HeteroSort to a 16-node Beowulf cluster with a central switch architec...
ATAL
2008
Springer
13 years 9 months ago
2008
Springer
A new trend in home automation is to integrate audio en video applications. However in current domotics systems, these are usually conFigured statically. We implemented a home aut...