9370 search results - page 156 / 1874 » An Abstract Notion of Application |
167
click to vote
ICLP
2005
Springer
16 years 1 days ago
2005
Springer
Abstract. In recent work, a general framework for specifying program correspondences under the answer-set semantics has been defined. The framework allows to define different not...
176
click to vote
CSLP
2004
Springer
15 years 12 months ago
2004
Springer
Abstract. This paper is concerned with the question of quantifying gradient degrees of acceptability by introducing the notion of Density in the context of constructional constrain...
187
click to vote
FMCO
2004
Springer
15 years 12 months ago
2004
Springer
Abstract. Object calculi have been investigated as semantical foundation for object-oriented languages. Often, they are object-based, whereas the mainstream of object-oriented lang...
170
click to vote
ICCS
2004
Springer
15 years 12 months ago
2004
Springer
Abstract. Infinite contexts and their corresponding lattices are of theoretical and practical interest since they may offer connections with and insights from other mathematical ...
172
click to vote
SACRYPT
2004
Springer
15 years 12 months ago
2004
Springer
Abstract. This paper formalizes the security adversarial games for online symmetric cryptosystems in a unified framework for deterministic and probabilistic encryption schemes. On...