2342 search results - page 404 / 469 » A Methodology for Evaluating Software Engineering Methods an... |
POPL
2009
ACM
14 years 9 months ago
2009
ACM
We present a proof calculus and method for the static verification of assertions and procedure specifications in shared-memory concurrent programs. The key idea in our approach is...
AIED
2005
Springer
14 years 2 months ago
2005
Springer
SuperDuperWalker is a software-based framework for experiments on the evolution of locomotion. It simulates the behavior of evolving agents in a 3D physical simulation environment ...
PPOPP
2009
ACM
14 years 9 months ago
2009
ACM
In a previous paper we show how the FLAME methods and tools provide a solution to compute dense dense linear algebra operations on a multi-GPU platform with reasonable performance...
ICWE
2007
Springer
14 years 3 months ago
2007
Springer
In this paper we propose a framework for the creation of adaptive portal solutions for the Semantic Web. It supports different target domains in a single portal instance. We propo...
LREC
2008
13 years 10 months ago
2008
The construction of a wordnet, a labour-intensive enterprise, can be significantly assisted by automatic grouping of lexical material and discovery of lexical semantic relations. ...