605 search results - page 91 / 121 » Normalizers and Split Extensions |
64
Voted
METRICS
2003
IEEE
15 years 4 months ago
2003
IEEE
Design patterns are recognized, named solutions to common design problems. The use of the most commonly referenced design patterns should promote adaptable and reusable program co...
84
Voted
CIA
2003
Springer
15 years 4 months ago
2003
Springer
Abstract. Logic programming has often been considered less than adequate for modelling the dynamics of knowledge changing over time. In this paper we describe Evolving Logic Progra...
78
Voted
FOSSACS
2003
Springer
15 years 4 months ago
2003
Springer
Abstract. We solve the problem of extending Bird and Paterson’s generalized folds for nested datatypes and its dual to inductive and coinductive constructors of arbitrarily high ...
ACSAC
2002
IEEE
15 years 3 months ago
2002
IEEE
The administration of users and access rights in large enterprises is a complex and challenging task. Roles are a powerful concept for simplifying access control, but their implem...
88
Voted
DSN
2002
IEEE
15 years 3 months ago
2002
IEEE
A virtual duplex system (VDS) can be used to increase safety without the use of structural redundancy on a single machine. If a deterministic program P is calculating a given func...