326 search results - page 4 / 66 » Closing the Gap |
EUROMICRO
2003
IEEE
15 years 3 months ago
2003
IEEE
Knowledge management (KM) systems aim at supporting knowledge workers in general and software engineers in particular. These tools help to elicit, structure, and retrieve knowledg...
CPM
2010
Springer
15 years 2 months ago
2010
Springer
IFIP7
1999
Springer
15 years 2 months ago
1999
Springer
RTA
2010
Springer
15 years 1 months ago
2010
Springer
In earlier work, we have shown that for confluent term rewrite systems (TRSs for short), innermost polynomial runtime complexity induces polytime computability of the functions de...
ECBS
2004
IEEE
15 years 1 months ago
2004
IEEE
If a software implementation is to be generated fully automatically from a model, then the model must be detailed and totally complete. For the definition of software implementing...