2419 search results - page 271 / 484 » A Formal Approach to Software Testing |
125
click to vote
SIGSOFT
2004
ACM
15 years 9 months ago
2004
ACM
Software models provide independent perspectives onto software systems. Ideally, all models should use the same model element to describe the same part of a system. Practically, m...
125
click to vote
HRI
2010
ACM
15 years 9 months ago
2010
ACM
—Alan Turing proposed a test for the intelligence of machines in 1950 [1]. Despite great efforts, no computer has passed this test so far. Each year, chat bots compete for the Lo...
140
Voted
TASE
2008
IEEE
15 years 4 months ago
2008
IEEE
This paper addresses the general single-machine earliness-tardiness problem with distinct release dates, due dates, and unit costs. The aim of this research is to obtain an exact n...
149
click to vote
TEC
2012
13 years 6 months ago
2012
Recently, the generalization framework in co-evolutionary learning has been theoretically formulated and demonstrated in the context of game-playing. Generalization performance of...
142
click to vote
AINA
2007
IEEE
15 years 10 months ago
2007
IEEE
— Simulation is the most famous way to study wireless an mobile networks since they offer a convenient combination of flexibility and controllability. However, their largest dis...