2410 search results - page 233 / 482 » Multiset Ordering Constraints |
153
click to vote
ICSM
2008
IEEE
16 years 26 days ago
2008
IEEE
Test-case prioritization is a typical scenario of regression testing, which plays an important role in software maintenance. With the popularity of Web Services, integrating Web S...
152
click to vote
ICST
2008
IEEE
16 years 26 days ago
2008
IEEE
Testing remains a major challenge for model transformation development. Test models that are used as test data for model transformations, are constrained by various sources of kno...
180
click to vote
SADFE
2008
IEEE
16 years 25 days ago
2008
IEEE
Secure logs are powerful tools for building systems that must resist forgery, prove temporal relationships, and stand up to forensic scrutiny. The proofs of order and integrity en...
160
click to vote
WIMOB
2008
IEEE
16 years 25 days ago
2008
IEEE
—In this paper, we propose two robust precoder designs for multiple-input multiple-output (MIMO) broadcast channels with imperfect channel state information (CSI). First, we cons...
148
click to vote
DATE
2007
IEEE
16 years 24 days ago
2007
IEEE
We propose a robust circuit-based Boolean Satisfiability (SAT) solver, QuteSAT, that can be applied to complex circuit netlist structure. Several novel techniques are proposed in ...