3527 search results - page 225 / 706 » Test Automation in Practice |
150
click to vote
JUCS
2010
15 years 4 months ago
2010
Abstract: Ontology rule editing, testing, debugging and validation are still handcrafted and painful tasks. Nowadays, there is a lack of tools that take these tasks into considerat...
145
click to vote
CHI
2005
ACM
16 years 6 months ago
2005
ACM
Designers of children's technology are often more interested in user motivation than those who design systems for adults. Since children's technology often has aims such...
138
click to vote
WEA
2009
Springer
16 years 18 days ago
2009
Springer
Abstract. In this paper we present a novel approach to the graph isomorphism problem. We combine a direct approach, that tries to find a mapping between the two input graphs using...
148
click to vote
CHARME
2003
Springer
15 years 11 months ago
2003
Springer
We consider the problem of bounded model checking of systems expressed in a decidable fragment of first-order logic. While model checking is not guaranteed to terminate for an ar...
157
click to vote
JUCS
2010
15 years 4 months ago
2010
: Mobile banking has been considered to be one of the most value-added and important mobile services currently available. Considering the fact that the penetration of this technolo...