6137 search results - page 1213 / 1228 » Securing Collaborative Applications |
EUROSSC
2006
Springer
14 years 7 days ago
2006
Springer
This paper introduces a new concept of information that can exist in a mobile environment with no fixed infrastructure and centralized servers, which we call the Hovering Informati...
ESAW
2000
Springer
14 years 6 days ago
2000
Springer
Social Order becomes a major problem in MAS and in computer mediated human interaction. After explaining the notions of Social Order and Social Control, I claim that there are mult...
PKC
2000
Springer
14 years 5 days ago
2000
Springer
A number of signature schemes and standards have been recently designed, based on the Discrete Logarithm problem. In this paper we conduct design validation of such schemes while t...
GI
1997
Springer
14 years 4 days ago
1997
Springer
Abstract. This text describes how persistent object system technology developed in European basic research is being used by a small German startup software company to realize innov...
TIC
2000
Springer
14 years 4 days ago
2000
Springer
Abstract. A type-based certifying compiler maps source code to machine code and target-level type annotations. The target-level annotations make it possible to prove easily that th...