3527 search results - page 515 / 706 » Test Automation in Practice |
165
click to vote
ERLANG
2004
ACM
16 years 20 hour ago
2004
ACM
Structured Programming techniques are applied to a personal accounting software application implemented in erlang as a demonstration of the utility of processes as design construc...
147
click to vote
SAC
2004
ACM
16 years 16 hour ago
2004
ACM
There is still no standardization of software measures and metrics extraction tools have to be updated frequently to handle the changes. A possible solution is represented by usin...
159
click to vote
SIGCSE
2004
ACM
16 years 15 hour ago
2004
ACM
This paper presents an innovative multiagent system to support cooperative learning among students both in the real classrooms and in distance education. The system, called I-MIND...
171
click to vote
CSL
2004
Springer
15 years 12 months ago
2004
Springer
Locality notions in logic say that the truth value of a formula can be determined locally, by looking at the isomorphism type of a small neighborhood of its free variables. Such n...
150
click to vote
GECCO
2004
Springer
15 years 12 months ago
2004
Springer
Verifying the published results of algorithms is part of the usual research process. This helps to both validate the existing literature, but also quite often allows for new insigh...