328 search results - page 41 / 66 » Are You Being Served |
ESOP
2001
Springer
14 years 1 months ago
2001
Springer
Abstract. We present a proof theoretical method for de-compiling lowlevel code to the typed lambda calculus. We first define a proof system for a low-level code language based on...
CAISE
1999
Springer
14 years 1 months ago
1999
Springer
: In this article we present a new approach to software process modelling for a large banking organisation. In the past years, the main software development methods and tools of th...
METRICS
1998
IEEE
14 years 1 months ago
1998
IEEE
In any manufacturing environment, the fault injection rate might be considered one of the most meaningful criterion to evaluate the goodness of the development process. In our fie...
ICLP
1989
Springer
14 years 27 days ago
1989
Springer
The generation of efficient code for Prolog programs requires sophisticated code transformation and optimization systems. Much of the recent work in this area has focussed on hig...
DEXAW
2004
IEEE
14 years 18 days ago
2004
IEEE
This paper reflects different understanding and positions on future trends of GRID-oriented technologies, applications, and networks, as perceived by representatives from industry...