1180 search results - page 181 / 236 » Total Functional Software Engineering - Overview Paper |
96
Voted
ENTCS
2010
14 years 8 months ago
2010
s as an Abstract Domain Jacob M. Howe1,4 Dept of Computing, City University London, UK Andy King1,3,5 School of Computing, University of Kent, Canterbury, UK Charles Lawrence-Jones...
107
click to vote
ENTCS
2010
14 years 8 months ago
2010
The zipper is a well known design pattern for providing a cursor-like interface to a data structure. However, the classic treatise by Huet only scratches the surface of some of it...
119
click to vote
COMMA
2010
14 years 5 months ago
2010
Abstract. Software tools for working with argument generally exist as large systems that wrap their entire feature set in the application as a whole. This approach, while perfectly...
TASLP
2010
14 years 5 months ago
2010
This paper presents a weighted approach for integrated active noise control and noise reduction in hearing aids. An integrated scheme has been introduced previously to tackle seco...
79
Voted
COMPSAC
2002
IEEE
15 years 3 months ago
2002
IEEE
This paper describes our experience using dependency analysis and visualization as a tool to identify intervention points for migrating applications to environments where they can...