Sciweavers

BIRTHDAY
2010
Springer
13 years 3 months ago
Second-Order Programs with Preconditions
Abstract. In the implementation of procedures, developers often assume that the input satisfies certain properties; for example, binary search assumes the array to be sorted. Such...
Markus Aderhold
DM
2008
89views more  DM 2008»
13 years 4 months ago
Nearlattices
By a nearlattice is meant a join-semilattice having the property that every principal filter is a lattice with respect to the semilattice order. We introduce the concept of (relat...
Ivan Chajda, Miroslav Kolarík
IPPS
2002
IEEE
13 years 9 months ago
Automatic Reincarnation of Deceased Plug-Ins in the HARNESS Metacomputing System
HARNESS is an experimental metacomputing system that supports dynamic software reconfiguration, both of the resources that comprise the virtual machine and the services provided t...
Mauro Migliardi, Vaidy S. Sunderam
ISSADS
2005
Springer
13 years 9 months ago
Extending Databases to Precision-Controlled Retrieval of Qualitative Information
A hierarchy is an arrangement of qualitative values in a tree with certain properties. Hierarchies allow to define the confusion conf(r, s) in using qualitative value r instead of ...
Victor-Polo de Gyves, Adolfo Guzmán-Arenas,...