1515 search results - page 205 / 303 » On the relation of aspects and monads |
VRST
2005
ACM
14 years 2 months ago
2005
ACM
In this paper, we describe a method of dynamic creation of interactive presentations for Mixed Reality environments. The presentations are created automatically for collections of...
ATAL
2005
Springer
14 years 2 months ago
2005
Springer
The problem of providing tools to support legally valid negotiations between agents is becoming more and more critical. Agents are supposed to perform crucial tasks autonomously; ...
ATAL
2005
Springer
14 years 2 months ago
2005
Springer
In the design of resource bounded agents, high-level cognitive activities, such as reasoning, raise important problems related both to the adaptive ability and to the computationa...
CIKM
2005
Springer
14 years 2 months ago
2005
Springer
We examine issues in the design of fully dynamic information retrieval systems with support for instantaneous document insertions and deletions. We present one such system and dis...
EUROCRYPT
2005
Springer
14 years 2 months ago
2005
Springer
Abstract. We propose and realize a definition of security for passwordbased key exchange within the framework of universally composable (UC) security, thus providing security guar...