1604 search results - page 86 / 321 » Development Separation in Lambda-Calculus |
SPLC
2008
13 years 11 months ago
2008
We have developed and maintained a set of closely related compilers. Although much of their code is duplicated and shared, they have been maintained separately because they are tr...
ECIS
2004
13 years 11 months ago
2004
In this paper we discuss a number of implications which follow from the way that the information systems discipline has developed, largely separately, from computer ethics. These ...
ICCAD
2005
IEEE
14 years 7 months ago
2005
IEEE
— In this paper we are concerned with developing more reliable model reduction algorithms. We have focused on less common, but real, examples that fail to be effectively reduced ...
HICSS
2009
IEEE
14 years 5 months ago
2009
IEEE
Setting electric transmission tariffs is a classical multi-objective problem. The tariff problem is particularly challenging in modern power markets where transmission has been se...
VAMOS
2009
Springer
14 years 4 months ago
2009
Springer
The application of functional networks in the automotive industry is still very slowly adopted into their development processes. Reasons for this are manifold. A functional networ...