9974 search results - page 224 / 1995 » Software Interconnection Models |
175
click to vote
APSEC
2007
IEEE
16 years 26 days ago
2007
IEEE
Analyzing accidents is a vital exercise in the development of safety-critical software systems to prevent past accidents from reoccurring in the future. Current practices such as ...
219
click to vote
VLSID
1999
IEEE
15 years 10 months ago
1999
IEEE
In hardware - software codesign paradigm often a performance estimation of the system is needed for hardware - software partitioning. The tremendous growth of application specific...
162
click to vote
VL
2007
IEEE
16 years 23 days ago
2007
IEEE
Striving toward the vision of Model Driven development (MDD), we face many open questions connected to the elementary tasks involved in working with models. Probably the most basi...
151
click to vote
HASE
1998
IEEE
15 years 10 months ago
1998
IEEE
Finite failure NHPP models proposed in the literature exhibit either constant, monotonic increasing or monotonic decreasing failure occurrence rates per fault, and are inadequate ...
166
click to vote
ISCIS
2004
Springer
15 years 12 months ago
2004
Springer
Testing is a necessary, but costly process for user-centric quality control. Moreover, testing is not comprehensive enough to completely detect faults. Many formal methods have bee...