9186 search results - page 1652 / 1838 » A Module System for Scheme |
106
click to vote
SAC
2004
ACM
15 years 6 months ago
2004
ACM
We consider the generalized assignment problem in which the objective is to find a minimum cost assignment of a set of jobs to a set of agents subject to resource constraints. Th...
SAC
2004
ACM
15 years 6 months ago
2004
ACM
Computational models of trust have been proposed for use in ubicomp environments for deciding whether to allow customers to pay with an e-purse or not. In order to build trust in ...
87
Voted
SIGMETRICS
2004
ACM
15 years 6 months ago
2004
ACM
Virtual Private Networks (VPNs) feature notable characteristics in structure and traffic patterns that allow for efficient resource allocation. A strategy that exploits the underl...
CAV
2004
Springer
15 years 6 months ago
2004
Springer
The logic of equality with uninterpreted functions (EUF) and its extensions have been widely applied to processor verification, by means of a large variety of progressively more s...
89
Voted
ER
2004
Springer
15 years 6 months ago
2004
Springer
Abstract. We present an approach to support incremental navigation of structured information, where the structure is introduced by the data model and schema (if present) of a data ...