1532 search results - page 278 / 307 » Embodied mobile agents |
COOPIS
2000
IEEE
14 years 3 days ago
2000
IEEE
Given the undeniable popularity of the Web, providing efficient and secure access to remote databases using a Web browser is crucial for the emerging cooperative information system...
POPL
2000
ACM
14 years 1 days ago
2000
ACM
Certified code is a general mechanism for enforcing security properties. In this paradigm, untrusted mobile code carries annotations that allow a host to verify its trustworthine...
WOSP
2000
ACM
14 years 1 days ago
2000
ACM
In this paper we present a formal approach to analyse performance for distributed systems, which is integrated in the early stages of the software development process. We propose ...
ECOOP
2000
Springer
14 years 21 hour ago
2000
Springer
Abstract. We are interested in the class of systems for which the satisfaction of code dependencies is a dynamic process rather than one which is determined purely at load-time. Ex...
NDSS
1999
IEEE
13 years 12 months ago
1999
IEEE
Anonymity of ballots in electronic voting schemes usually relies on the existence of some kind of anonymous channel between voters and ballot collecting authorities. Currently, th...