3527 search results - page 276 / 706 » Test Automation in Practice |
147
click to vote
HT
1998
ACM
15 years 10 months ago
1998
ACM
Reuse is increasingly strategic for reducing cost and improving quality of hypermedia design and development. In this paper, based on the design and development of a real hypermed...
155
click to vote
CAV
1994
Springer
15 years 10 months ago
1994
Springer
This paper presents a new formalism and a new algorithm for verifying timed circuits. The formalism, called orbital nets, allows hierarchical verification based on abehavioralseman...
176
click to vote
WSPI
2004
15 years 7 months ago
2004
Abstract. We examine the possibility of applying knowledge representation and automated reasoning in the context of philosophical ontology. For this purpose, we use the axioms and ...
152
click to vote
MVA
1992
15 years 7 months ago
1992
This paper proposes a parallel schemelalgorithm which is based on statistical analyses to fulfilthe robust segmentation of nature texture image. The whole scheme is constructed as...
144
click to vote
SAC
2010
ACM
15 years 6 months ago
2010
ACM
Nowadays, the interaction between a product and the user is described using different methods than for product to product communication. This makes it difficult to replace users a...