1604 search results - page 149 / 321 » Development Separation in Lambda-Calculus |
ISSRE
2010
IEEE
13 years 9 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,...
SAB
2010
Springer
13 years 9 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
13 years 9 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 ...
IGARSS
2010
13 years 8 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...
INLG
2010
Springer
13 years 8 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...