1329 search results - page 223 / 266 » The Many Dimensions of the Software Process |
SAC
2010
ACM
14 years 26 days ago
2010
ACM
The verification of industrial systems specified with CSP often implies the analysis of many concurrent and synchronized components. The cost associated to these analyses is usu...
DSN
2002
IEEE
14 years 21 days ago
2002
IEEE
As our reliance on computers increases, so does the need for robust software. Previous studies have shown that many C libraries exhibit robustness problems due to exceptional inpu...
SARA
2009
Springer
14 years 9 days ago
2009
Springer
An important challenge in constraint programming is to rewrite constraint models into executable programs calculating the solutions. This phase of constraint processing may requir...
RT
2001
Springer
14 years 5 days ago
2001
Springer
Abstract. Many disciplines must handle the creation, visualization, and manipulation of huge and complex 3D environments. Examples include large structural and mechanical engineeri...
MSS
2000
IEEE
14 years 4 days ago
2000
IEEE
Approaching its tenth anniversary, the IEEE Storage System Standards effort is in the process of balloting Media Management System (MMS) standards. These represent the first stand...