2935 search results - page 227 / 587 » An Integrated Approach to High Integrity Software Verificati... |
208
click to vote
INFOVIS
2003
IEEE
15 years 12 months ago
2003
IEEE
We introduce an approach to visual analysis of multivariate data that integrates several methods from information visualization, exploratory data analysis (EDA), and geovisualizat...
188
click to vote
DAC
2007
ACM
16 years 7 months ago
2007
ACM
Abstract-- The PPV is a robust phase domain macromodel for oscillators. It has been proven to predict oscillators' responses correctly under small signal perturbations, and ca...
170
click to vote
CAISE
2009
Springer
15 years 10 months ago
2009
Springer
Despite the abundance of analysis techniques to discover control-flow errors in workflow designs, there is hardly any support for w verification. Most techniques simply abstract fr...
208
click to vote
STEP
2003
IEEE
15 years 12 months ago
2003
IEEE
Software patterns are a new design paradigm used to solve problems that arise when developing software within a particular context. Patterns capture the static and dynamic structu...
152
click to vote
COMPSAC
1997
IEEE
15 years 11 months ago
1997
IEEE
Many large software systems are tightly integrated with their physical environments and must be adapted when their environment changes. Typically, software development methodologi...