1604 search results - page 149 / 321 » Development Separation in Lambda-Calculus |
127
click to vote
ISSRE
2010
IEEE
14 years 11 months ago
2010
IEEE
—Feature-oriented software development (FOSD) aims at the construction, customization, and synthesis of large-scale software systems. We propose a novel software design paradigm,...
90
Voted
SAB
2010
Springer
14 years 11 months ago
2010
Springer
Abstract. For autonomy in underwater robotics it is essential to develop context-driven controllers, capable of leading from perception to action without human intervention. One of...
SOFTWARE
2010
14 years 11 months ago
2010
Architecture is typically either a very non-tangible, conceptual aspect of a software system that can primarily be found in Word documents, or it is entirely driven by technology ...
81
Voted
IGARSS
2010
14 years 10 months ago
2010
The QuikSCAT scatterometer infers wind vectors over the ocean using measurements of the surface backscatter. During rain events the QuikSCAT observations are subject to rain conta...
116
Voted
INLG
2010
Springer
14 years 10 months ago
2010
Springer
Ontologies and datasets for the Semantic Web are encoded in OWL formalisms that are not easily comprehended by people. To make ontologies accessible to human domain experts, sever...