2935 search results - page 83 / 587 » An Integrated Approach to High Integrity Software Verificati... |
149
click to vote
SNPD
2003
15 years 5 months ago
2003
In this paper, we describe an approach and a prototype to enable participatory, collaborative tailoring of and within a groupware application. Our approach suggests extending the ...
170
Voted
ISORC
2005
IEEE
15 years 10 months ago
2005
IEEE
Web Services form a new distributed computing paradigm. Collaborative verification and validation are important when Web Services from different vendors are integrated together to...
117
click to vote
FMCAD
2008
Springer
15 years 6 months ago
2008
Springer
The extensional theory of arrays is one of the most important ones for applications of SAT Modulo Theories (SMT) to hardware and software verification. Here we present a new T-solv...
160
click to vote
QOSA
2010
Springer
15 years 7 months ago
2010
Springer
Critical properties of software systems, such as reliability, should be considered early in the development, when they can govern crucial architectural design decisions. A number o...
143
click to vote
ICAC
2008
IEEE
15 years 11 months ago
2008
IEEE
Recent advances in hardware and software virtualization offer unprecedented management capabilities for the mapping of virtual resources to physical resources. It is highly desira...