5790 search results - page 850 / 1158 » Distributed programming with distributed authorization |
110
Voted
GCC
2003
Springer
15 years 8 months ago
2003
Springer
This paper introduces a method for automatic composition of semantic web services using linear logic theorem proving. The method uses semantic web service language (DAML-S) for ext...
129
Voted
ICALP
2003
Springer
15 years 8 months ago
2003
Springer
We investigate the protection of migrating agents against the untrusted sites they traverse. The resulting calculus provides a formal framework to reason about protection policies ...
104
Voted
IPSN
2003
Springer
15 years 8 months ago
2003
Springer
High-level query languages are an attractive interface for sensor networks, potentially relieving application programmers from the burdens of distributed, embedded programming. In ...
108
Voted
ACSAC
2002
IEEE
15 years 7 months ago
2002
IEEE
The blooming e-commerce is demanding better methods to protect online users' privacy, especially the credit card information that is widely used in online shopping. Holding a...
120
Voted
HICSS
2002
IEEE
15 years 7 months ago
2002
IEEE
This paper describes a program of research designed to understand how knowledge-sharing and learning can be supported in virtual communities. To conduct this research, we propose ...