1604 search results - page 117 / 321 » Development Separation in Lambda-Calculus |
TEI
2009
ACM
14 years 5 months ago
2009
ACM
This paper concerns the design of physical languages for controlling and programming robotic consumer products. For this purpose we explore basic theories of semiotics represented...
SOCO
2009
Springer
14 years 4 months ago
2009
Springer
Abstract. The separation of concerns has been a core idiom of software engineering for decades. In general, software can be decomposed properly only according to a single concern, ...
ASSETS
2009
ACM
14 years 4 months ago
2009
ACM
This paper presents a unique approach to undergraduate teaching in which accessibility topics are completely integrated throughout the curriculum, treating accessibility not as a ...
BIBE
2008
IEEE
14 years 4 months ago
2008
IEEE
— Retrieving similar images from large repository of heterogeneous biomedical images has been a difficult research task. In this paper, we develop a retrieval system that uses H...
COMPSAC
2008
IEEE
14 years 4 months ago
2008
IEEE
In this article, we address the problem of modularizing legacy applications with monolithic structure, primarily focusing on business software written in an objectoriented program...