7835 search results - page 393 / 1567 » Software are Processes Too |
154
click to vote
IIE
2007
15 years 6 months ago
2007
Abstract. This article deals with the use of Open Source Software (OSS) at the primary and secondary level of education in Slovenia. The challenges and advantages of using OSS in e...
177
click to vote
ASPDAC
2012
ACM
14 years 2 months ago
2012
ACM
—Host-compiled simulation has been widely adopted as a practical approach for fast and high-level evaluation of complex software-intensive systems at early stages of the design p...
194
click to vote
ICPR
2006
IEEE
16 years 8 months ago
2006
IEEE
Kernel Fisher Discriminant Analysis (KFDA) has achieved great success in pattern recognition recently. However, the training process of KFDA is too time consuming (even intractabl...
187
click to vote
CADE
2004
Springer
16 years 7 months ago
2004
Springer
Abstract. We describe a system for the automated certification of safety properties of NASA software. The system uses Hoare-style program verification technology to generate proof ...
200
click to vote
HICSS
2009
IEEE
16 years 1 months ago
2009
IEEE
With the growing economic importance of open source, we need to improve our understanding of how open source software development processes work. The analysis of code contribution...