213 search results - page 40 / 43 » The Formal Structure of Ecological Contexts |
ICFP
2003
ACM
14 years 7 months ago
2003
ACM
This paper define the semantics of MinAML, an idealized aspect-oriented programming language, by giving a typedirected translation from its user-friendly external language to its ...
AOSD
2010
ACM
14 years 2 months ago
2010
ACM
In aspect-oriented programming languages, advice evaluation is usually considered as part of the base program evaluation. This is also the case for certain pointcuts, such as if p...
AMIRE
2005
Springer
14 years 1 months ago
2005
Springer
Abstract. We introduce mathematically rigorous metrics on agent experiences having various temporal horizons. Sensorimotor variables accessible to the agent are treated as informat...
CEEMAS
2005
Springer
14 years 1 months ago
2005
Springer
Abstract. In update logic the interpretation of an action is often assumed to be independent from the agents’ beliefs about the situation (see [BMS04] or [Auc05]). In this paper ...
PODC
2003
ACM
14 years 24 days ago
2003
ACM
Traitor Tracing Schemes constitute a very useful tool against piracy in the context of digital content broadcast. In such multi-recipient encryption schemes, each decryption key is...