1604 search results - page 10 / 321 » Development Separation in Lambda-Calculus |
OOPSLA
2005
Springer
14 years 1 months ago
2005
Springer
Design patterns are applied in software development to decouple individual concerns, so that a change in a design decision is isolated to one location of the code base. However, m...
ISAAC
2005
Springer
14 years 1 months ago
2005
Springer
We develop exact and approximate algorithms for computing optimal separators and measuring the extent to which two point sets in d-dimensional space are separated, with respect to...
ICSE
2003
IEEE-ACM
14 years 7 months ago
2003
IEEE-ACM
The lack of a common language and mutual understanding between the disciplines of systems development/software engineering and HCI does create challenges for both teaching and pra...
ECOOP
2005
Springer
14 years 1 months ago
2005
Springer
Most modern programming systems such as Java allow us to link independently developed components together dynamically. This makes it possible to develop and deploy software on a pe...
ICA
2004
Springer
14 years 29 days ago
2004
Springer
Abstract. Denoising source separation is a recently introduced framework for building source separation algorithms around denoising procedures. Two developments are reported here. ...