9370 search results - page 197 / 1874 » An Abstract Notion of Application |
153
click to vote
RTA
2005
Springer
16 years 2 days ago
2005
Springer
Abstract. We show that the structures of binding algebras and Σmonoids by Fiore, Plotkin and Turi are sound and complete models of Klop’s Combinatory Reduction Systems (CRSs). T...
152
click to vote
AH
2004
Springer
16 years 51 min ago
2004
Springer
Abstract. In this paper we present an approach to time-based adaptation in adaptive hypermedia systems. Time is used as a part of the context (or environment) model. We have propos...
209
click to vote
ATAL
2004
Springer
15 years 12 months ago
2004
Springer
Abstract. In recent years, mobile ad-hoc networks (MANET’s) have been deployed in various scenarios, but their scalability is severely restricted by the human operators’ abilit...
182
click to vote
CSLP
2004
Springer
15 years 12 months ago
2004
Springer
Abstract. This paper presents the basis of Property Grammars, a fully constraintbased theory. In this approach, all kinds of linguistic information is represented by means of const...
158
click to vote
FOSSACS
2004
Springer
15 years 12 months ago
2004
Springer
We describe a game semantics for local names in a functional setting. It is based on a category of dialogue games acted upon by the automorphism group of the natural numbers; this ...