5012 search results - page 644 / 1003 » Distributed Error Correction |
158
click to vote
ICLP
2007
Springer
16 years 26 days ago
2007
Springer
We propose CoreTuLiP - the core of a trust management language based on Logic Programming. CoreTuLiP is based on a subset of moded logic programming, but enjoys the features of TM ...
158
click to vote
IDA
2007
Springer
16 years 26 days ago
2007
Springer
We present a new machine learning approach to the inverse parametric sequence alignment problem: given as training examples a set of correct pairwise global alignments, find the p...
161
click to vote
SSS
2007
Springer
16 years 25 days ago
2007
Springer
In [Dij74] Dijkstra introduced the notion of self-stabilizing algorithms, and presented three such algorithms for the problem of mutual exclusion on a ring of processors. The thir...
162
click to vote
ICDCSW
2006
IEEE
16 years 23 days ago
2006
IEEE
Software systems need to adapt as requirements change, environment conditions vary, and bugs are discovered and fixed. In context of verification of these adaptive systems, the ...
164
click to vote
PRDC
2006
IEEE
16 years 22 days ago
2006
IEEE
The finite average response time model is a very weak distributed systems model: it permits runs with unbounded transmission and processing delays and it does not bound the relat...