10715 search results - page 258 / 2143 » Proofs from Tests |
147
Voted
ECIS
2001
15 years 8 months ago
2001
Knowledge is now recognized as the key differentiating resource among firms. The ability to integrate widely held knowledge to derive new products and services constitutes a meta-...
136
click to vote
FORTE
1998
15 years 8 months ago
1998
In a testing environment, where an IUT communicates with multiple entities, a tester may have di ering degrees of controllability on the interactions between these entities and th...
190
click to vote
ET
2006
15 years 6 months ago
2006
In this paper, an optimization methodology is used to select the locations and characteristics of test, diagnosis and rework operations in electronic systems assembly processes. Re...
162
click to vote
CORR
2008
Springer
15 years 6 months ago
2008
Springer
Abstract. The group isomorphism problem asks whether two given groups are isomorphic or not. Whereas the case where both groups are abelian is well understood and can be solved eff...
212
click to vote
JOT
2010
15 years 5 months ago
2010
Abstract We propose a dependence-based representation for object-oriented programs, named Call-based Object-Oriented System Dependence Graph (COSDG). Apart from structural features...