2419 search results - page 369 / 484 » A Formal Approach to Software Testing |
SIGIR
2008
ACM
13 years 8 months ago
2008
ACM
The approach of using passage-level evidence for document retrieval has shown mixed results when it is applied to a variety of test beds with different characteristics. One main r...
ADBIS
2007
Springer
14 years 2 months ago
2007
Springer
Replication is crucial to achieve high availability distributed systems. However, non-determinism introduces consistency problems between replicas. Transactions are very well suite...
EPEW
2007
Springer
14 years 2 months ago
2007
Springer
In software systems, individual components interact not only through explicit function invocations, but also through implicit resource sharing. The use of shared resources signifi...
GECCO
2007
Springer
14 years 2 months ago
2007
Springer
An Estimation of Distribution Algorithm (EDA) is proposed to approach the Hybrid Flow Shop with Sequence Dependent Setup Times and Uniform Machines in parallel (HFSSDST-UM) proble...
ISCAS
2005
IEEE
14 years 1 months ago
2005
IEEE
—The paper presents a novel spatial error concealment algorithm based on directional decision and intra prediction. Unlike previous approaches that simultaneously recover the pix...