4350 search results - page 665 / 870 » Case studies for contract-based systems |
111
click to vote
ICALT
2007
IEEE
15 years 10 months ago
2007
IEEE
This paper describe the case study of developing and providing the ontology-based educational information search service to overcome the limitations of the existing keyword-based ...
131
Voted
KBSE
2007
IEEE
15 years 10 months ago
2007
IEEE
Randomized testing has been shown to be an effective method for testing software units. However, the thoroughness of randomized unit testing varies widely according to the settin...
122
click to vote
HYBRID
2007
Springer
15 years 10 months ago
2007
Springer
Abstract. This paper considers piecewise affine models of genetic regulatory networks and focuses on the problem of detecting switches among different modes of operation in gene e...
152
click to vote
3DPVT
2006
IEEE
15 years 10 months ago
2006
IEEE
Self-calibration is one of the most active issues concerning vision-based 3D measurements. However, in the case of the light sectioning method, there has been little research cond...
131
click to vote
COMPSAC
2006
IEEE
15 years 10 months ago
2006
IEEE
This paper presents an automated software tool SQUARE (Software QUality and ARchitecture modelling Environment). It is designed and implemented to support the analysis of software...