1397 search results - page 197 / 280 » On the Need for Practical Formal Methods |
130
click to vote
ASPDAC
2009
ACM
15 years 11 months ago
2009
ACM
Majority of practical multivariate statistical analyses and optimizations model interdependence among random variables in terms of the linear correlation among them. Though linear...
130
click to vote
KBSE
2007
IEEE
15 years 10 months ago
2007
IEEE
Adoption of advanced automated SE (ASE) tools would be favored if a business case could be made that these tools are more valuable than alternate methods. In theory, software pred...
153
click to vote
IRI
2005
IEEE
15 years 10 months ago
2005
IEEE
Although data integration has been a research subject for decades in the AEC (Architecture Engineering Construction) industry whose data is usually highly fragmented, nowadays we ...
115
click to vote
IV
2005
IEEE
15 years 10 months ago
2005
IEEE
The field of information visualization offers little methodological guidance to practitioners who seek to design novel systems. Though many sources describe the foundations of the...
157
click to vote
VISUALIZATION
2005
IEEE
15 years 10 months ago
2005
IEEE
The field of Visualization is getting mature. Many problems have been solved, and new directions are sought for. In order to make good choices, an understanding of the purpose an...