4352 search results - page 461 / 871 » A Representation Theorem and Applications |
176
click to vote
RE
2001
Springer
15 years 11 months ago
2001
Springer
Elicitation of requirements for safety critical aeroengine control systems is dependent on the capture of core design intent and the systematic derivation of requirements addressi...
187
Voted
RE
2001
Springer
15 years 11 months ago
2001
Springer
An essential type of “evidence”of the correctness of the requirements formalization process can be provided by human-based calculation. Human calculation can be significantly ...
187
click to vote
INFOVIS
2000
IEEE
15 years 11 months ago
2000
IEEE
In the last several years, large multi-dimensional databases have become common in a variety of applications such as data warehousing and scientific computing. Analysis and explor...
187
Voted
ACMDIS
2000
ACM
15 years 11 months ago
2000
ACM
Through a study of web site design practice, we observed that web site designers employ multiple representations of web sites as they progress through the design process, and that...
207
click to vote
CHI
1999
ACM
15 years 11 months ago
1999
ACM
Interactive software is currently used for learning and entertainment purposes. This type of software is not very common among blind children because most computer games and elect...