2421 search results - page 103 / 485 » Integrity Assurance Technique Using Determinant Approach |
154
click to vote
AVI
2004
15 years 2 months ago
2004
Understanding complex 3D virtual models can be difficult, especially when the model has interior components not initially visible and ancillary text. We describe new techniques fo...
105
click to vote
ISOLA
2007
Springer
15 years 6 months ago
2007
Springer
The testing and formal verification of black box software components is a challenging domain. The problem is even harder when specifications of these components are not available...
102
click to vote
FORTE
2004
15 years 2 months ago
2004
Internet software tightly integrates classic computation with communication software. Heterogeneity and complexity can be tackled with a component-based approach, where components ...
115
Voted
ECRTS
2006
IEEE
15 years 6 months ago
2006
IEEE
FlexRay will very likely become the de-facto standard for in-vehicle communications. However, before it can be successfully used for safety-critical applications that require pred...
96
Voted
ESWS
2004
Springer
15 years 6 months ago
2004
Springer
Abstract. In an open environment populated by heterogeneous information services integration will be a major challenge. Even if the problem is similar to planning in some aspects, ...