1609 search results - page 35 / 322 » Problem Structure and Dependable Architecture |
ECBS
2000
IEEE
14 years 4 days ago
2000
IEEE
Quantitative techniques have traditionally been used to assess software architectures. We have found that early in the development process there is often insufficient quantitative...
DAC
1999
ACM
14 years 8 months ago
1999
ACM
Software synthesis from a concurrent functional specification is a key problem in the design of embedded systems. A concurrent specification is well-suited for medium-grained part...
PDP
2008
IEEE
14 years 2 months ago
2008
IEEE
The scalability properties of DHT based overlay networks is considered satisfactory. However, in large scale systems this might still cause a problem since they have a logarithmic...
ACSC
2003
IEEE
14 years 1 months ago
2003
IEEE
Time-triggered systems require a very high degree of temporal accuracy at critical stages during run time. While many software fault injection environments exist today, none of th...
IFIP
2004
Springer
14 years 1 months ago
2004
Springer
Data integration is one of the older research fields in the database area and has emerged shortly after database systems were first introduced into the business world. In this pa...