3192 search results - page 192 / 639 » A Requirements-Driven Development Methodology |
201
click to vote
ZUM
2005
Springer
15 years 12 months ago
2005
Springer
Abstract. We present a new methodology that permits to reuse an existing hardware component that has not been developed within the B framework while maintaining a correct design ï¬...
153
click to vote
GECCO
2004
Springer
15 years 12 months ago
2004
Springer
Abstract. A scheduling algorithm for satellites imaging tasks in a dynamic and uncertain environment. The environment is dynamic in the sense that imaging tasks will be added or re...
156
click to vote
ATAL
2003
Springer
15 years 11 months ago
2003
Springer
Abstract. The Amorphous Computing project is aimed at developing programming methodologies for systems composed of vast numbers of locallyinteracting, identically-programmed agents...
152
click to vote
ECIR
2010
Springer
15 years 8 months ago
2010
Springer
We propose an approach to build a subspace representation for documents. This more powerful representation is a first step towards the development of a quantum-based model for Info...
150
click to vote
DGO
2004
15 years 8 months ago
2004
cipal high-level goal of the research is to develop abstractions, theory and methodology and software tools that allow federal statistical agencies to disseminate useful informatio...