13383 search results - page 2346 / 2677 » Abstractions from proofs |
193
click to vote
KIVS
1999
Springer
15 years 8 months ago
1999
Springer
Abstract. After introducing the concept of mobile agents and potential application domains, we motivate why mobile agent technology is an interesting concept for large Internet-bas...
133
click to vote
MAS
1998
Springer
15 years 8 months ago
1998
Springer
Abstract. Many programming languages have been developed and implemented for mobile code environments. They are typically quite expressive. But while security is an important aspec...
191
click to vote
CIKM
1997
Springer
15 years 8 months ago
1997
Springer
The access patterns of the users of a web-site are traditionally analyzed in order to facilitate the user access to the site's information. In this study, however, a systemat...
104
click to vote
CHI
1996
ACM
15 years 8 months ago
1996
ACM
The design of CSCW systems has often had its roots in ethnomethodological understandings of work and investigations of working settings. Increasingly, we are also seeing these ide...
127
click to vote
ACSAC
2009
IEEE
15 years 8 months ago
2009
IEEE
Abstract--Current Network Access Control (NAC) technologies manage the access of new devices into a network to prevent rogue devices from attacking network hosts or services. Typic...