9018 search results - page 105 / 1804 » 3D-Brain Model Software |
79
Voted
COMPSAC
2008
IEEE
15 years 5 months ago
2008
IEEE
Commercial-off-the-shelf components (COTS) are widely reused at present and black-box composition is the unique way to integrate them into the target system. However, various mism...
HICSS
2008
IEEE
15 years 5 months ago
2008
IEEE
1 Shared understandings are important for software development as they guide to effective individual contributions to, and coordination of, the software development process. In thi...
103
Voted
AMOST
2005
ACM
15 years 4 months ago
2005
ACM
The combinatorial approach to software testing uses models to generate a minimal number of test inputs so that selected combinations of input values are covered. The most common c...
72
Voted
ICSM
2003
IEEE
15 years 4 months ago
2003
IEEE
The world of software development has rapidly changed in the last few years due to the adoption of component-based technologies. The classical software configuration management, ...
AC
2005
Springer
14 years 10 months ago
2005
Springer
The aim of this chapter is to give an overview of the theoretical foundation and the practical application of logic model checking techniques for the verification of multi-threade...