1511 search results - page 209 / 303 » Relational Parametricity for Computational Effects |
166
click to vote
NSDI
2008
15 years 8 months ago
2008
An emerging paradigm in peer-to-peer (P2P) networks is to explicitly consider incentives as part of the protocol design in order to promote good (or discourage bad) behavior. Howe...
183
click to vote
CONCUR
2008
Springer
15 years 8 months ago
2008
Springer
We present an algorithm for partial order reduction in the context of a countable universe of deterministic actions, of which finitely many are enabled at any given state. This mea...
159
click to vote
ISMB
1996
15 years 7 months ago
1996
Several computeralgorithms for discovering patterns in groups of protein sequences are in use that are basedon fitting the parametersof a statistical model to a group of related s...
217
click to vote
SPLC
2007
15 years 7 months ago
2007
Feature modeling is a notation and an approach for modeling commonality and variability in product families. In their basic form, feature models contain mandatory/optional feature...
145
click to vote
WCE
2007
2007
Performance Analysis of Job-Shop Production Systems under Different Order Release Control Parameters
15 years 7 months ago
—Controlling the flow of materials inside job-shops involves several decisions such as the acceptance or rejection of an incoming order, the order’s due date definition, the re...