891 search results - page 56 / 179 » Full Abstraction for PCF |
152
click to vote
KI
2007
Springer
15 years 11 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...
137
click to vote
LADS
2007
Springer
15 years 11 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 ...
162
Voted
SACRYPT
2007
Springer
15 years 11 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...
150
click to vote
TELETRAFFIC
2007
Springer
15 years 11 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 ...
115
click to vote
HICSS
2006
IEEE
15 years 11 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...