169 search results - page 23 / 34 » Characterizing and checking self-healability |
GECCO
2003
Springer
14 years 25 days ago
2003
Springer
Evolutionary Testing (ET) has been shown to be very successful for testing real world applications [10]. The original ET approach focusesonsearching for a high coverage of the test...
KR
2010
Springer
14 years 12 days ago
2010
Springer
We present a distributed algorithm for computing equilibria of heterogeneous nonmonotonic multi-context systems (MCS). The algorithm can be parametrized to compute only partial eq...
DATE
1999
IEEE
13 years 12 months ago
1999
IEEE
Boolean Satisfiability is a ubiquitous modeling tool in Electronic Design Automation, It finds application in test pattern generation, delay-fault testing, combinational equivalen...
ICDT
1995
ACM
13 years 11 months ago
1995
ACM
A tuple t1 of relation R subsumes tuple t2 of R, with respect to a query Q if for every database, tuple t1 derives all, and possibly more, answers to query Q than derived by tuple ...
LREC
2010
13 years 9 months ago
2010
The national language of the Grand-Duchy of Luxembourg, Luxembourgish, has often been characterized as one of Europe's underdescribed and under-resourced languages. Because o...