1733 search results - page 255 / 347 » The challenges of software engineering education |
175
click to vote
AIM
1998
15 years 5 months ago
1998
Robotic soccer is a challenging research domain which involves multiple agents that need to collaborate in an adversarial environment to achieve specificobjectives. In this paper...
152
click to vote
DSE
1998
15 years 5 months ago
1998
The Voltan software library for building distributed applications provides the support for (i) a processpair to act as single Voltan self-checking ‘fail-silent’ process; and (...
142
click to vote
ICFEM
2010
Springer
15 years 4 months ago
2010
Springer
Abstract. Automated verification of memory safety and functional correctness for heap-manipulating programs has been a challenging task, especially when dealing with complex data ...
161
click to vote
ICFEM
2010
Springer
15 years 4 months ago
2010
Springer
Despite the advancements of concurrency theory in the past decades, practical concurrent programming has remained a challenging activity. Fundamental problems such as data races an...
134
click to vote
ICFEM
2010
Springer
15 years 4 months ago
2010
Springer
Abstract. Verification of programs with invocations to unknown procedures is a practical problem, because in many scenarios not all codes of programs to be verified are available...