15787 search results - page 2974 / 3158 » Is Software Engineering Training Enough for Software Enginee... |
154
click to vote
ATAL
2006
Springer
15 years 10 months ago
2006
Springer
Communication in open heterogeneous multi agent systems is hampered by lack of shared ontologies. To overcome these problems, we propose a layered communication protocol which inc...
172
click to vote
BIRTHDAY
2006
Springer
15 years 10 months ago
2006
Springer
Abstract. Loops and other unbound control structures constitute a major bottleneck in formal software verification, because correctness proofs over such control structures generall...
217
click to vote
ECRTS
2004
IEEE
15 years 10 months ago
2004
IEEE
Dynamic storage allocation (DSA) algorithms play an important role in the modern software engineering paradigms and techniques (such as object oriented programming). Using DSA inc...
153
click to vote
CLEF
2006
Springer
15 years 10 months ago
2006
Springer
This paper presents Wolverhampton University's participation in the WiQA competition. The method chosen for this task combines a high precision, but low recall information re...
188
click to vote
GECCO
2006
Springer
15 years 10 months ago
2006
Springer
Encapsulation of states in object-oriented programs hinders the search for test data using evolutionary testing. As client code is oblivious to the internal state of a server obje...