891 search results - page 56 / 179 » Full Abstraction for PCF |
KI
2007
Springer
14 years 1 months ago
2007
Springer
Abstract. The aim of this paper is to present a formal semantics inspired by the notion of Mental Imagery, largely researched in Cognitive Science and Experimental Psychology, that...
LADS
2007
Springer
14 years 1 months ago
2007
Springer
Abstract. This paper describes DCaseLP, a multi-language development environment for Multi-Agent Systems. DCaseLP provides tools and languages for modelling and implementing a MAS ...
SACRYPT
2007
Springer
14 years 1 months ago
2007
Springer
Abstract. At DRM 2002, Chow et al. [4] presented a method for implementing the DES block cipher such that it becomes hard to extract the embedded secret key in a white-box attack c...
TELETRAFFIC
2007
Springer
14 years 1 months ago
2007
Springer
Abstract. This article proposes a hierarchical architecture for an infrastructure-based overlay network delivering multicast services. Such an overlay network is an alternative to ...
HICSS
2006
IEEE
14 years 1 months ago
2006
IEEE
Abstract— A methodology for designing data center infrastructure for E-commerce sites is developed. It differs from existing methodologies in that it evaluates and compares alter...