511 search results - page 34 / 103 » Spelling Correction Using Context |
80
Voted
PRDC
2008
IEEE
15 years 7 months ago
2008
IEEE
Real-time applications typically have to satisfy high dependability requirements and require fault tolerance in both value and time domains. A widely used approach to ensure fault...
137
click to vote
SOCO
2007
Springer
15 years 6 months ago
2007
Springer
In the context of Service Oriented Computing, contracts are descriptions of the externally observable behaviour of services. Given a group of collaborating services, their contract...
96
Voted
CORR
2010
Springer
14 years 11 months ago
2010
Springer
ly correct bijection between higher-order abstract syntax (HOAS) and the natural numbers enables one to define a "not equals" relationship between terms and also to have ...
108
click to vote
BMCBI
2005
15 years 15 days ago
2005
Background: With the exponential increase in genomic sequence data there is a need to develop automated approaches to deducing the biological functions of novel sequences with hig...
122
click to vote
OPODIS
2007
15 years 2 months ago
2007
This paper tackles the consensus problem in asynchronous systems prone to byzantine failures. One way to circumvent the FLP impossibility result consists in adding synchrony assump...