1994 search results - page 101 / 399 » Limited Software Warranties |
KBSE
2006
IEEE
14 years 4 months ago
2006
IEEE
Traditional design representations are inadequate for generalized reasoning about modularity in design and its technical and economic implications. We have developed an architectu...
DATE
2005
IEEE
14 years 3 months ago
2005
IEEE
Efficient evaluation of design choices, in terms of selection of algorithms to be implemented as hardware or software, and finding an optimal hw/sw design mix is an important re...
RE
2004
Springer
14 years 3 months ago
2004
Springer
Assumptions are frequently made during requirements analysis of a system-to-be about the trustworthiness of its various components (including human components). These trust assump...
ISSS
2000
IEEE
14 years 2 months ago
2000
IEEE
The ever increasing complexity of embedded systems consisting of hardware and software components poses a challenge in verifying their correctness, New verification methods that o...
ECOOP
1999
Springer
14 years 2 months ago
1999
Springer
Abstract. The aim of component technology is the replacement of large monolithic applications with sets of smaller software components, whose particular functionality and interoper...