265 search results - page 19 / 53 » entcs 2007 |
ENTCS
2007
14 years 10 months ago
2007
This paper studies the notion of “freshness” that often occurs in the meta-theory of computer science languages involving various kinds of names. Nominal Equational Logic is a...
ENTCS
2007
14 years 10 months ago
2007
Nominal rewriting introduced a novel method of specifying rewriting on syntax-with-binding. We extend this treatment of rewriting with hierarchy of variables representing increasi...
ENTCS
2007
14 years 10 months ago
2007
r introduces an abstract framework for the specification of components with multiple require and provide interfaces that allows the specification of multiple access to a single ...
ENTCS
2007
14 years 10 months ago
2007
We propose a design of a client reputation system that can be used to reduce unwanted traffic in the Internet. Many reputation systems proposed in the trust literature are provid...
ENTCS
2007
14 years 10 months ago
2007
The implementation of conceptually continuous signals in functional reactive programming (FRP) is studied in detail. We show that recursive signals in standard implementations usi...