4126 search results - page 539 / 826 » Set based logic programming |
167
Voted
BMCBI
2006
15 years 3 months ago
2006
Background: Owing to the rapid expansion of RNA structure databases in recent years, efficient methods for structure comparison are in demand for function prediction and evolution...
136
click to vote
CADE
2007
Springer
16 years 3 months ago
2007
Springer
Fault tolerance mechanisms are a key ingredient of dependable systems. In particular, software-implemented hardware fault tolerance (SIHFT) is gaining in popularity, because of its...
146
Voted
MIDDLEWARE
2009
Springer
15 years 10 months ago
2009
Springer
The emergence of networked devices in the home has made it possible to develop applications that control a variety of household functions. However, current devices communicate via ...
109
Voted
CONCUR
2007
Springer
15 years 9 months ago
2007
Springer
The notion of innocent strategy was introduced by Hyland and Ong in order to capture the interactive behaviour of λ-terms and PCF programs. An innocent strategy is defined as an ...
150
Voted
LCPC
2009
Springer
15 years 8 months ago
2009
Springer
PC grids represent massive computation capacity at a low cost, but are challenging to employ for parallel computing because of variable and unpredictable performance and availabili...