847 search results - page 89 / 170 » An Algebra for Features and Feature Composition |
HICSS
2007
IEEE
14 years 3 months ago
2007
IEEE
In this paper we describe an interactive community bulletin board we installed within a neighborhood café and art gallery, and the interactions that take place around and through...
FASE
2007
Springer
14 years 3 months ago
2007
Springer
Abstract. In model-based development, a formal description of the software (the model) is the central artifact that drives other development activities. The availability of a model...
SEW
2006
IEEE
14 years 3 months ago
2006
IEEE
It is widely held that programming language extensions that support separation of concerns and that are also integrative benefit development, maintenance and reuse of software de...
MM
2010
ACM
13 years 9 months ago
2010
ACM
In this paper, we propose a novel personalized ranking system for amateur photographs. Although some of the features used in our system are similar to previous work, new features,...
TOPLAS
2002
13 years 8 months ago
2002
traction and information hiding K. RUSTAN M. LEINO and GREG NELSON Compaq Systems Research Center er describes an approach for verifying programs in the presence of data abstractio...