3547 search results - page 528 / 710 » Pseudo-Exhaustive Testing for Software |
147
click to vote
WWW
2008
ACM
16 years 7 months ago
2008
ACM
Ontology mapping seeks to find semantic correspondences between similar elements of different ontologies. This paper proposes a neural network based approach to search for a globa...
283
click to vote
CC
2009
Springer
16 years 7 months ago
2009
Springer
Abstract. We introduce the design and implementation of dynamic separation (DS) as a programming discipline for using transactional memory. Our approach is based on the programmer ...
161
click to vote
CHI
2007
ACM
16 years 7 months ago
2007
ACM
Knowledge workers making sense of a topic divide their time among activities including searching for information, reading, and taking notes. We have built a software system that s...
161
click to vote
CADE
2006
Springer
16 years 6 months ago
2006
Springer
This paper presents new classes of tree automata combining automata with equality test and automata modulo equational theories. We believe that these classes have a good potential ...
187
click to vote
ECBS
2010
IEEE
16 years 1 months ago
2010
IEEE
—One of the key challenges in modern real-time embedded systems is safe composition of different software components. Formal verification techniques provide the means for design...