1937 search results - page 46 / 388 » Starting B Specifications from Use Cases |
133
click to vote
ISSS
1999
IEEE
15 years 6 months ago
1999
IEEE
This paper describes a mechanism for automatic design and synthesis of very long instruction word (VLIW), and its generalization, explicitly parallel instruction computing rocesso...
LREC
2008
15 years 3 months ago
2008
The project described in this paper is funded by the French Ministry of Research. It aims at providing producers of Language Resources, and HLT players in general, with a guide wh...
106
click to vote
ISMIR
2005
Springer
15 years 7 months ago
2005
Springer
Audio descriptor extraction is the activity of finding mathematical models which describe properties of the sound, requiring signal processing skills. The scientific literature pr...
111
click to vote
HICSS
2009
IEEE
15 years 8 months ago
2009
IEEE
The use of formal methods has long been advocated in the development of secure systems. Yet, methods for deriving design from requirements that guarantee retention of the intended...
127
click to vote
EUROMICRO
1999
IEEE
15 years 6 months ago
1999
IEEE
Experience has shown that prototypingis a valuabletechnique in the validation of designs. However, the prototype(s) can be too far semantically removed from the design. Animation ...